This paper is concerned with one of the basic problems in abstract interpretation, namely, for a given abstraction and a given set of concrete transformers (that express the concrete semantics of a program), how does one create the associated abstract transformers? We develop a new methodology for addressing this problem, based on a syntactically restricted language for expressing concrete transformers. We use this methodology to produce best abstract transformers for abstractions of many important data structures. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Lev-Ami, T., Sagiv, M., Immerman, N., & Reps, T. (2007). Constructing specialized shape analyses for uniform change. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4349 LNCS, pp. 215–233). Springer Verlag. https://doi.org/10.1007/978-3-540-69738-1_16
Mendeley helps you to discover research relevant for your work.