Abstract Interpretation

In Chapter 10 we saw a number of automatic program analyses, and each one was hand crafted. Abstract Interpretation is a generic approach to automatic program analysis. In principle, it covers all of our earlier analyses. In this chapter we ignore the optimizing program transformations that accompan...

Full description

Saved in:
Bibliographic Details
Published inConcrete Semantics pp. 219 - 280
Main Authors Klein, Gerwin, Nipkow, Tobias
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2014
Springer International Publishing
Subjects
Abstract Interpretation
Boolean Expression
Complete Lattice
Computer programming / software development
Mathematical theory of computation
Monotone Function
Partial Order
Programming & scripting languages: general
Online AccessGet full text
ISBN3319105418
9783319105413
DOI10.1007/978-3-319-10542-0_13

Cover

More Information
Summary:In Chapter 10 we saw a number of automatic program analyses, and each one was hand crafted. Abstract Interpretation is a generic approach to automatic program analysis. In principle, it covers all of our earlier analyses. In this chapter we ignore the optimizing program transformations that accompany certain analyses.
ISBN:3319105418
9783319105413
DOI:10.1007/978-3-319-10542-0_13