This is the website for the 2003/2004 incarnation of the course Automatic Programming Analysis which is part of the Software Technology Master curriculum at Universiteit Utrecht. The entire course is given by Jurriaan Hage.
Nielson, Nielson and Hankin's Principles Of Program Analysis (on this website referred to as 'the book') introduce four viewpoints on program analysis. We shall see all of them in the lectures, except, maybe, the Type and Effect systems. These are treated both in the mandatory course Implementation of Programming Languages and are considered in more detail in the Type Systems course given in the ST curriculum. However, if time permits a constraint based approach to Type and Effect systems, shall be considered.
The goal of this course is two-fold: the student should learn about the perspectives and methods of a program analysis, but also learn how to deal with mathematical formulations and notation. This is especially useful if you plan to stay in
The lectures will work through Chapters 1-4 (excluding a few sections) of the book. It is a tough book to understand, being strongly theoretical. In addition, the lecturer may introduce a few subjects from his own research on constraint based analysis as time permits. These serve as an on-the-fly introduction and illustrationo of the material in Chapter 5.
There have been a number of changes:
The course is worth 7.5 ects. People who have done parts of the course in previous years when it was worth only 6 ects should e-mail the lecturer for information how to cope with the new set-up.
The next subjects shall be considered in this course