Constructing specialized shape analyses for uniform change

Tal Lev-Ami*, Mooly Sagiv, Neil Immerman, Thomas Reps

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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.

Original languageEnglish
Title of host publicationVerification, Model Checking, and Abstract Interpretation, - 8th International Conference, VMCAI 2007, Proceedings
PublisherSpringer Verlag
Pages215-233
Number of pages19
ISBN (Print)3540697357, 9783540697350
DOIs
StatePublished - 2007
Event8th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007 - Nice, France
Duration: 14 Jan 200716 Jan 2007

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4349 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference8th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007
Country/TerritoryFrance
CityNice
Period14/01/0716/01/07

Fingerprint

Dive into the research topics of 'Constructing specialized shape analyses for uniform change'. Together they form a unique fingerprint.

Cite this