P. Cousot, Design of Semantics by Abstract Interpretation

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.
Paper: The full version of the paper is published in ENTCS.
Slides of the 60mn MFPS XIII invited address are available in .pdf.

Bibliographic reference:

@inproceedings{CousotCousot97-MFPS-XIII,
   author =    {Patrick Cousot},
   title =     {Design of Semantics by Abstract Interpretation, Invited Address},
   booktitle = {Mathematical Foundations of Programming Semantics, Thirteenth Annual Conference},
   address =   {Carnegie Mellon University, Pittsburgh, Pennsylvania, USA},
    month =     mar # " 23--26",
   year =      1997,
}

copyright notice
Last modified: Sunday, 15-Aug-2021 13:52:39 EDT