Search Sciweavers | Sciweavers

1716 search results - page 8 / 344

» Proving Conditional Termination

284

click to vote

CALCO
2009
Springer

295views Mathematics» more CALCO 2009»

A Tool Proving Well-Definedness of Streams Using Termination Tools

16 years 13 days ago

Download calco09.dimi.uniud.it

Hans Zantema

claim paper

Read More »

131

click to vote

RTA
2009
Springer

86views Theoretical Computer Science» more RTA 2009»

Proving Termination of Integer Term Rewriting

16 years 11 days ago

Download verify.rwth-aachen.de

Carsten Fuhs, Jürgen Giesl, Martin Plück...

claim paper

Read More »

125

click to vote

LOPSTR
2007
Springer

114views Automated Reasoning» more LOPSTR 2007»

Proving Termination with (Boolean) Satisfaction

15 years 12 months ago

Download www.cs.bgu.ac.il

Michael Codish

claim paper

Read More »

136

click to vote

VMCAI
2005
Springer

80views Software Engineering» more VMCAI 2005»

Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming

15 years 11 months ago

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

100

click to vote

CONCUR
1990
Springer

66views Distributed And Parallel Com...» more CONCUR 1990»

Proving Termination of Communicating Programs

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers