Books

Books : reviews

Hanne Riis Nielson, Flemming Nielson.
Semantics with Applications: a formal introduction.
Wiley. 1992

Flemming Nielson, Hanne Riis Nielson, Chris Hankin.
Principles of Program Analysis.
Springer. 1999

(read but not reviewed)


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