Notes on constraint-based analysis for optimising compilers by Dominic Orchard. This was written for the Part II course at the University of Cambridge (circa 2009), but is still in use (last checked 2026).

Building

Prerequisites

• LaTeX distribution (e.g., TeX Live or MiKTeX)
• latex, bibtex, and dvipdf commands available in PATH

Build Instructions

To build the PDF document:

make

To clean generated files:

make clean

The generated PDF will be: constraint-based-analysis.pdf