22 search results - page 1 / 5 » Widening Operators for Weakly-Relational Numeric Abstraction... |
CORR
2004
Springer
13 years 4 months ago
2004
Springer
SAS
2005
Springer
13 years 10 months ago
2005
Springer
SAS
2010
Springer
13 years 3 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...
CORR
2011
Springer
12 years 12 months ago
2011
Springer
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...
ASIAN
2006
Springer
13 years 8 months ago
2006
Springer
Polyhedral analysis [9] is an abstract interpretation used for automatic discovery of invariant linear inequalities among numerical varia program. Convexity of this abstract domain...