P. Cousot, Design of Semantics by Abstract Interpretation
Design of Semantics by Abstract Interpretation.
MPI-Kolloquium, dem 2. Juni 1997, Max-Planck-Institut fuer Informatik,
Im Stadtwald, Saarbruecken.
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 are available, in various compressed PostScript formats, for retroprojection (0,32 Mo), ghostview (0.29 Mo), printing (0.27 Mo) and PDF (2.1 Mo), PDF.gz (0.6 Mo) for viewing with Acrobat Reader. The corresponding short paper is published in ENTCS, in full in TCS.
Monday, 04-Jan-2010 13:55:29 CET