-
Patrick Cousot.
Design of Semantics by Abstract Interpretation, Invited Address.
Mathematical Foundations of Programming Semantics, Thirteenth Annual Conference
(MFPS XIII).
Carnegie Mellon University, Pittsburgh, Pennsylvania, USA, March 23-26, 1997.
- Abstract:
Starting from a maximal trace semantics of a transition system expressed in fixpoint form, we derive, by successive Galois connection based abstract interpretations, a hierarchy of semantics including a big-step semantics, natural, demoniac and angelic relational semantics and equivalent nondeterministic denotational semantics and finally D. Scott's determinitic denotational semantics.
-
Slides of the 60mn MFPS XIII invited address are available, in various format, for retroprojection, ghostview, printing. The full version of the paper is published in ENTCS.