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.
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.
Monday, 04-Jan-2010 13:17:44 CET