-
Patrick Cousot.
Design of Semantics by Abstract Interpretation.
MPI-Kolloquium, dem 2. Juni 1997, Max-Planck-Institut fuer Informatik,
Im Stadtwald, Saarbruecken.
- Abstract:
Same as MFPS XIII invited address to which we add the design of generalized/conservative/liberal predicate transformer semantics, generalized/total/partial correctness axiomatic semantics and corresponding proof methods.
-
Slides of the 75mn seminar: PDF .
- The corresponding short paper is published in ENTCS, in full in TCS.