MIT   16.399: Abstract Interpretation   

Spring term 2005

Content:

Course Information:

Instructor:

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.

Assignments:

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.

Project:

Grading:

Final exam problem:

Bibliographic reference:

   @unpublished{Cousot-MITcourse05,
      author =  {P.~Cousot},
      title =   {Abstract interpretation},
      note =    {MIT course 16.399, \url{http://web.mit.edu/16.399/www/}},
      month =   {Feb.--May},
      year =    2005,
   }

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