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 Slides (45mn per lecture):
- Introduction
(1/1,
2/1,
4/1 PDF);
- Order Theory, Fixpoints and Formal Systems
(1/1,
2/1,
4/1 PDF);
- Transitional/Small-Step Operational Semantics
(1/1,
2/1,
4/1 PDF);
- Linear Time/Trace Semantics
(1/1,
2/1,
4/1 PDF);
- Elements of Abstract Interpretation
(1/1,
2/1,
4/1 PDF);
- Relational Semantics
(1/1,
2/1,
4/1 PDF);
- Denotational Semantics
(1/1,
2/1,
4/1 PDF);
- Generalized Predicate Transformer Semantics
(1/1,
2/1,
4/1 PDF);
- 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.