This is an old revision of the document!
Abstract Interpretation
Sign Analysis of Expressions and Programs
Simple Programming Language for Abstract Interpretation
Semantics of Sign Analysis Domain
Mapping Fixpoints under Lattice Morphisms
References
- Calculus of Computation Textbook Chapter 12, including Section 12.4
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints (original abstract interpretation paper)
- Lecture notes on static analysis by Michael Schwartzbach (sections 4,5,6,7 in particular) (local pdf
- Notes on program analysis, by Alex Aiken
- PA 2005 at Tel-Aviv University
Conferences: