PRELIMINARY! MIGHT BE SUBJECT TO CHANGE
Latest update Jan 2, 2008
To avoid spam, all mail addresses on this page have the "@" replaced by "#".
Slides for the course book (can also be found from the home page of the book):
The PAG/WWW program analysis generator is used in some of the assignments for the course. The link provides an easy-to-use web interface for the generator, with ample information, examples, and an on-line tutorial. Make yourself aqcuainted with this tool by browsing the site and trying out some of the online examples!