2451 search results - page 3 / 491 » The Octagon Abstract Domain |
76
Voted
IMAMS
2003
15 years 1 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...
115
Voted
SAS
2010
Springer
14 years 10 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...
85
Voted
SAS
2010
Springer
14 years 10 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...
63
Voted
CORR
2002
Springer
15 years 7 days ago
2002
Springer
83
Voted
JLP
2000
15 years 6 days ago
2000
