The generic abstract interpreter has been designed for the
International Summer School Marktoberdorf on Calculational System Design
(July 28 to August 9, 1998);
Its objective is essentially pedagogical and can help the understanding
of abstract interpretation by programmers (e.g. as a programming
project in a compiler construction or software engineering course). However, it does not have the scope, efficiency and power required for an
effective professional use;
The Marktoberdorf'98course notes describe the syntax and small-step operational semantics of the programming language to be analyzed, the generic abstract interpreter for reachability analysis and its calculational design by abstract interpretation;
The generic abstract analyzer is written in Objective Caml, which is freely available for Macintosh, Windows and Unix platforms at ftp.inria.fr;