Course on Abstract Interpretation
IBM T.J. Watson Research Center — Hawthorne N.Y.
A self-contained course on abstract interpretation, providing the minimal
mathematical background, an overview of the theory and discussing
applications to the semantics and static analysis of programs.
Prospective Course Description:
Each lecture has a link to the slides and a recommended although
This first lecture is a rapid overview, presenting the concepts
that will be developped later in the course. The lecture to attend if
you come only once. All the misunderstood points will be explained in
the rest of the course.