6.820
Fundamentals of Program Analysis
Fall 2015
This course offers a comprehensive introduction to the field of program analysis. It covers some of the major forms of program analysis including Type Checking, Abstract Interpretation and Model Checking. For each of these, the course covers the underlying theories as well as modern techniques and applications.
Readings
- Nielson, Nielson, and Hankin. Principles of Program Analysis . Springer, 2010. ISBN: 9783642084744.
Sources
- Course catalogue ↗Historical OpenCourseWare
- MIT OCW syllabus ↗
- Historical MIT OpenCourseWare offering. Named reading entries and schedule topics are automatically extracted from the linked source pages.