Search Sciweavers | Sciweavers

444 search results - page 1 / 89

» Termination by Abstraction

101

Voted

LPAR
2010
Springer

117views Automated Reasoning» more LPAR 2010»

Lazy Abstraction for Size-Change Termination

15 years 1 months ago

Download www.computational-logic.org

traction for Size-Change Termination

Michael Codish, Carsten Fuhs, Jürgen Giesl, P...

claim paper

Read More »

241

click to vote

POPL
2005
ACM

124views Programming Languages» more POPL 2005»

Transition predicate abstraction and fair termination

16 years 3 months ago

Download www.cs.sunysb.edu

on Predicate Abstraction and Fair Termination Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f?ur Informatik Saarbr?ucken, Germany Predicate abstraction is the basis of m...

Andreas Podelski, Andrey Rybalchenko

claim paper

Read More »

106

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

ICLP
2004
Springer

88views Automated Reasoning» more ICLP 2004»

Termination by Abstraction

15 years 8 months ago

Download www.cs.tau.ac.il

Nachum Dershowitz

claim paper

Read More »

108

click to vote

SAS
2001
Springer

117views Formal Methods» more SAS 2001»

An Abstract Analysis of the Probabilistic Termination of Programs

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers