Home

Principles of Program Analysis

To coincide with the reprinting of Principles of Program Analysis by Flemming Nielson, Hanne Riis Nielson and Chris Hankin the authors launched a new web page containing lecture slides and other supplementary material.

The lecture slides cover things like data flow analysis, control flow analysis and abstract interpretation.

By Ehud Lamm at 2005-01-20 14:41 | Theory | other blogs | 8203 reads