2451 search results - page 3 / 491 » The Octagon Abstract Domain |
IMAMS
2003
14 years 11 months ago
2003
We define a parameterization for an n-holed tori based on the hyperbolic polygon. We model the domain using a manifold with 2n+ 2 charts, and linear fractional transformations for...
SAS
2010
Springer
14 years 8 months ago
2010
Springer
Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Carnegie Mellon University Abstract. Numeric abstract domains are widely used in program analyses. The simplest nu...
SAS
2010
Springer
14 years 8 months ago
2010
Springer
Numerical Abstract Domains via Principal Component Analysis Gianluca Amato, Maurizio Parton, and Francesca Scozzari Universit`a di Chieti-Pescara – Dipartimento di Scienze We pro...
CORR
2002
Springer
14 years 10 months ago
2002
Springer
JLP
2000
14 years 9 months ago
2000
