on

Calculational System Design

from July 28 to August 9, 1998

An Advanced Study Institute of the NATO Science Committee
and the Institut für Informatik, Technische Universität München, Germany.

Calculational Design of Semantics and Static Analyzers by Abstract Interpretation

Patrick Cousot

• Abstract and bibliography;
• Prior working material (18 june 1998);
• Course notes (15 december 1998);
• Marktoberdorf'98 Generic Abstract Interpreter.