Search Sciweavers | Sciweavers

1716 search results - page 8 / 344

» Proving Conditional Termination

304

click to vote

CALCO
2009
Springer

295views Mathematics» more CALCO 2009»

A Tool Proving Well-Definedness of Streams Using Termination Tools

16 years 1 months ago

Download calco09.dimi.uniud.it

Hans Zantema

claim paper

Read More »

142

click to vote

RTA
2009
Springer

86views Theoretical Computer Science» more RTA 2009»

Proving Termination of Integer Term Rewriting

16 years 1 months ago

Download verify.rwth-aachen.de

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

claim paper

Read More »

136

Voted

LOPSTR
2007
Springer

114views Automated Reasoning» more LOPSTR 2007»

Proving Termination with (Boolean) Satisfaction

16 years 24 days ago

Download www.cs.bgu.ac.il

Michael Codish

claim paper

Read More »

144

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

16 years 4 days ago

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

110

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