196 search results - page 2 / 40 » Widening Operators for Abstract Interpretation |
CORR
2004
Springer
13 years 5 months ago
2004
Springer
PLILP
1992
Springer
13 years 9 months ago
1992
Springer
SAS
2005
Springer
13 years 10 months ago
2005
Springer
ENTCS
2008
13 years 5 months ago
2008
istic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions Michael J. A. Smith1 ,2 Laboratory for Foundations of Computer Science University of Edinb...
ASIAN
2006
Springer
13 years 9 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...