MIT   16.399: Abstract Interpretation   

Spring term 2005


Course Information:


Course Objective and Themes:

Prospective Course Description:

The content of the course is the following:
Italicized topics could not be handled by lack of time.

Course Notes:

Course Schedule:

The schedule conforms to the MIT academic calendar 2004—2005.


Most of the assigned readings, which are available on the web, are recently published research articles taken from the literature on programming, software verification, abstract interpretation and static analysis.



Final exam problem:

Bibliographic reference:

      author =  {P.~Cousot},
      title =   {Abstract interpretation},
      note =    {MIT course 16.399, \url{}},
      month =   {Feb.--May},
      year =    2005,

(1) posted with permission of the author.
Last modified Sunday, 05-Jun-2005 14:12:47 EDT
© Copyright notice