Program Analysis - Lecture Notes


Introduction (pdf).

Some notes on lattices (pdf).

Chapter 2 (pdf).

Control Flow Analysis (pdf).

Functional language evaluation (pdf).

Algorithms (pdf).