Program Analysis concerns itself with the automatic analysis of
computer programs, be they in Haskell or Java or any othr language.
In the two lectures I shall talk about Chapter 1 of the book
by Nielson, Nielson and Hankin.
The material to be treated gives a brief introduction into various
types of program analysis: data flow analysis, control flow analysis
and abstract interpretation. In case we have some time to spare
we shall also consider type and effect systems.
- Chapter one of Nielson, Nielson and Hankin's book Principles of Programming Analysis (obtainable from the Balie). If you plan to follow the course Program Analysis in its entirety, it is wise to simply buy the book.
- ist-1.pdf: Final version of the slides for the first lecture
- ist-2.pdf: Final slides for the second lecture
- 03 Oct 2002