In the abstract interpretation theory, program properties are encoded by abstract domains, and the combination of abstract domains leads to new properties to be analyzed. We propose a new method to combine numerical abstract domains based on the Minkowski sum. We provide a general framework equipped with all the necessary abstract operators for static analysis of imperative languages.
CITATION STYLE
Amato, G., Di Nardo Di Maio, S., & Scozzari, F. (2015). Sum of abstract domains. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9058, pp. 35–49). Springer Verlag. https://doi.org/10.1007/978-3-319-17524-9_4
Mendeley helps you to discover research relevant for your work.