@inproceedings{0628c77e0a3a4731b15d67a9f16703be,
title = "Constructing specialized shape analyses for uniform change",
abstract = "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.",
author = "Tal Lev-Ami and Mooly Sagiv and Neil Immerman and Thomas Reps",
year = "2007",
doi = "10.1007/978-3-540-69738-1_16",
language = "אנגלית",
isbn = "3540697357",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "215--233",
booktitle = "Verification, Model Checking, and Abstract Interpretation, - 8th International Conference, VMCAI 2007, Proceedings",
note = "null ; Conference date: 14-01-2007 Through 16-01-2007",
}