author : Flemming Nielson

Contents:

1. Introduction
2. Data Flow Analysis
   • Intra- and inter-procedural analysis • monotone frameworks • shape analysis
3. Constraint Based Analysis
4. Abstract Interpretation
   • Approximation of fixed points • Galois connections
5. Type and Effect Systems
   • Type systems • side effect analysis • exception analysis
6. Algorithms