6 citations · 24 across the 16 of their papers we have counts for
Showing 2006Show all
2 papers · 1 filter
cs.MS2006★ 3 cited
The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
Since its inception as a student project in 2001, initially just for the handling (as the name implies) of convex polyhedra, the Parma Polyhedra Library has been continuously impro…
cs.PL2006★ 2 cited
Deriving Escape Analysis by Abstract Interpretation: Proofs of results
Patricia M. Hill, Fausto Spoto
Escape analysis of object-oriented languages approximates the set of objects which do not escape from a given context. If we take a method as context, the non-escaping objects can…