Flemming Nielson, Hanne Riis Nielson, Chris Hankin.
Principles of Program Analysis.
Springer. 1999
(read but not reviewed)
Contents:
- Introduction
- Data Flow Analysis
- Intra- and inter-procedural analysis • monotone frameworks • shape analysis
- Constraint Based Analysis
- Abstract Interpretation
- Approximation of fixed points • Galois connections
- Type and Effect Systems
- Type systems • side effect analysis • exception analysis
- Algorithms