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 ed abstract transformers? We develop a new methodology for addressing this problem, based on a syntactically restricted language for expressing concrete mers. We use this methodology to produce best abstract transformers for ions of many important data structures.

• Type: Conference
• Year: 2007
• Where: VMCAI
• Authors: Tal Lev-Ami, Mooly Sagiv, Neil Immerman, Thomas W. Reps
• Keywords: Abstract Transformers, Concrete Transformers, Ed Abstract Transformers, Software Engineering, VMCAI 2007