Automating Abstract Interpretation [chapter]

Thomas Reps, Aditya Thakur
2015 Lecture Notes in Computer Science  
interpretation has a reputation of being a kind of "black art," and consequently difficult to work with. This paper describes a twenty-year quest by the first author to address this issue by raising the level of automation in abstract interpretation. The most recent leg of this journey is the subject of the second author's 2014 Ph.D. dissertation. The paper discusses several different approaches to creating correct-by-construction analyzers. Our research has allowed us to establish connections
more » ... etween this problem and several other areas of computer science, including automated reasoning/decision procedures, concept learning, and constraint programming. Portions of this work appeared in [70, 63, 35, 45, 64, 26, 82, 78, 81, 66, 76] . T. Reps has an ownership interest in GrammaTech, Inc., which has licensed elements of the technology reported in this publication.
doi:10.1007/978-3-662-49122-5_1 fatcat:ox4jxxxeprgidcvimvltq4svq4