P. Cousot, Design of Semantics by Abstract Interpretation
Design of Semantics by Abstract Interpretation, Invited Address.
Mathematical Foundations of Programming Semantics, Thirteenth Annual Conference
Carnegie Mellon University, Pittsburgh, Pennsylvania, USA, March 23-26, 1997.
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.
- Paper: The full version of the paper is published in ENTCS.
Slides of the 60mn MFPS XIII invited address are available in .pdf.
Friday, 04-May-2012 14:59:35 EDT