Search Sciweavers | Sciweavers

1716 search results - page 8 / 344

» Proving Conditional Termination

click to vote

CALCO
2009
Springer

295views Mathematics» more CALCO 2009»

A Tool Proving Well-Definedness of Streams Using Termination Tools

14 years 2 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

14 years 2 months ago

Download verify.rwth-aachen.de

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

claim paper

Read More »

click to vote

LOPSTR
2007
Springer

114views Automated Reasoning» more LOPSTR 2007»

Proving Termination with (Boolean) Satisfaction

14 years 1 months ago

Download www.cs.bgu.ac.il

Michael Codish

claim paper

Read More »

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

14 years 28 days 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

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers