12 search results - page 3 / 3 » Apron: A Library of Numerical Abstract Domains for Static An... |
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...
AAAI
1996
13 years 6 months ago
1996
This paper describes the spatial aggregation language and its applications. Spatial aggregation comprises a framework and a mechanism for organizing computations around image-like...