Search Sciweavers | Sciweavers

1716 search results - page 8 / 344

» Proving Conditional Termination

212

click to vote

CALCO
2009
Springer

295views Mathematics» more CALCO 2009»

A Tool Proving Well-Definedness of Streams Using Termination Tools

15 years 9 months ago

Download calco09.dimi.uniud.it

Hans Zantema

claim paper

Read More »

click to vote

RTA
2009
Springer

86views Theoretical Computer Science» more RTA 2009»

Proving Termination of Integer Term Rewriting

15 years 9 months ago

Download verify.rwth-aachen.de

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

claim paper

Read More »

103

click to vote

LOPSTR
2007
Springer

114views Automated Reasoning» more LOPSTR 2007»

Proving Termination with (Boolean) Satisfaction

15 years 9 months ago

Download www.cs.bgu.ac.il

Michael Codish

claim paper

Read More »

109

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 8 months ago

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

click to vote

CONCUR
1990
Springer

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

Proving Termination of Communicating Programs

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers