Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

CONCUR
2005
Springer

favoriteEmaildiscussreport

86views Distributed And Parallel Com...» more CONCUR 2005»

Termination Analysis of Integer Linear Loops

13 years 10 months ago

Termination Analysis of Integer Linear Loops

Download theory.stanford.edu

Usually, ranking function synthesis and invariant generation oop with integer variables involves abstracting the loop to have real variables. Integer division and modulo arithmetic must be soundly ed away so that the analysis over the abstracted loop is sound for the original loop. Consequently, the analysis loses precision. In contrast, we introduce a technique for handling loops over integer variables directly. The resulting analysis is more precise than previous analyses.

Aaron R. Bradley, Zohar Manna, Henny B. Sipma

Real-time Traffic

CONCUR 2005 | Integer Variables | Invariant Generation Oop | Ranking Function Synthesis |

claim paper

Related Content

» Termination of Integer Linear Programs

» Automatic Termination Analysis of Programs Containing Arithmetic Predicates

» The Automatic Synthesis of Linear Ranking Functions The Complete Unabridged Version

» Sizechange termination with difference constraints

» Optimizing InterNest Data Locality Using Loop Splitting and Reordering

» Resourceconstrained timingdriven link insertion for critical delay reduction

» Deciding Boolean Algebra with Presburger Arithmetic

» Robust constrained predictive control using comparison model

» Multiperiod capacitated location with modular equipments

Post Info
More Details (n/a)

Added	26 Jun 2010
Updated	26 Jun 2010
Type	Conference
Year	2005
Where	CONCUR
Authors	Aaron R. Bradley, Zohar Manna, Henny B. Sipma

Comments (0)