SAS 2005 | Sciweavers

30

click to vote

SAS
2005
Springer

84views Formal Methods» more SAS 2005»

Locality-Based Abstractions

14 years 5 months ago

Download www.ulb.ac.be

Javier Esparza, Pierre Ganty, Stefan Schwoon

claim paper

Read More »

44

click to vote

SAS
2005
Springer

132views Formal Methods» more SAS 2005»

Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra

14 years 5 months ago

Download www.cs.unipr.it

A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...

Roberto Bagnara, Enric Rodríguez-Carbonell,...

claim paper

Read More »

36

click to vote

SAS
2005
Springer

96views Formal Methods» more SAS 2005»

Widening Operators for Weakly-Relational Numeric Abstractions

14 years 5 months ago

Download www.cs.unipr.it

Roberto Bagnara, Patricia M. Hill, Elena Mazzi, En...

claim paper

Read More »

34

click to vote

SAS
2005
Springer

118views Formal Methods» more SAS 2005»

Inference of Well-Typings for Logic Programs with Application to Termination Analysis

14 years 5 months ago

Download dtai.cs.kuleuven.be

A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...

Maurice Bruynooghe, John P. Gallagher, Wouter Van ...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers