Abstract interpretation - Cousot/Cousot '77 for 2/1/12

[Chris]

This week, we will discuss Cousot and Cousot's classic paper
introducing abstract interpretation, entitled: "Abstract
interpretation: a unified lattice model for static analysis of
programs by construction or approximation of fixpoints." This paper
can be found at: http://www.di.ens.fr/~cousot/COUSOTpapers/POPL77.shtml

Chris

[Matt Might]

I recommend reading this in conjunction with the
Nielson-Nielson-Hankin book chapter and appendices.

This is a *dense* paper, made substantially worse by the lack of
proper typesetting facilities in 1977.

It is more important to extract the *ideas* from this paper than the
specific technical details.

-Matt