Systematic Construction of a Hierarchy of Semantics of Specification and Programming Languages by Abstraction/Refinement
Patrick Cousot


  • Summer School on "Software Specification, Refinement and Verification" in Turku, Finland, August 19-30, 2002

    Lecture abstract

    Lecture Slides (45mn per lecture):

    1. Introduction (1/1, 2/1, 4/1 PDF);
    2. Order Theory, Fixpoints and Formal Systems (1/1, 2/1, 4/1 PDF);
    3. Transitional/Small-Step Operational Semantics (1/1, 2/1, 4/1 PDF);
    4. Linear Time/Trace Semantics (1/1, 2/1, 4/1 PDF);
    5. Elements of Abstract Interpretation (1/1, 2/1, 4/1 PDF);
    6. Relational Semantics (1/1, 2/1, 4/1 PDF);
    7. Denotational Semantics (1/1, 2/1, 4/1 PDF);
    8. Generalized Predicate Transformer Semantics (1/1, 2/1, 4/1 PDF);
    9. Generalized Axiomatic Semantics (1/1, 2/1, 4/1 PDF);

    Lecture Notes:

    Patrick Cousot.
    Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation. Theoretical Computer Science,, 277(1—2):47—103, 2002. © Elsevier Science.


    Droits d'auteur / Copyright Notice.
    Retour à / back to : Index, Institutions, Enseignement / Teaching, Recherche / Research, Services
    Email: Patrick.Cousot@ens.fr, cousotp@acm.org
    Dernière mise à jour / Last modified : Wednesday, 04-Jun-2003 12:54:18 CEST