| Instructor: | John Tang Boyland |
| Place: | EMS E150 |
| Time: | MW 12:30-1:45pm |
This course will serve as an introduction to program analysis: statically determining properties of programs. We will survey data-flow analysis, constraint-based analysis, and abstract interpretation. We will also look at many recent published examples of analysis. Each student will engage in a large project.
The textbook will be ``Principles of Program Analysis'' by Nielson, Nielson and Hankin (Springer).
The student should be familiar with some formal methods applied to programs, such as type systems (CompSci 732), attributes or optimizations (CompSci 754). The course also requires mathematical maturity; the student will need to write proofs, especially using lattices and induction. Please see the instructor if you are unsure whether you meet the prerequisites.
PDF is a trademark of Adobe Systems, Inc.
Last modified: January 25, 2006
boyland@cs.uwm.edu