- Denotational Semantics I
-
- Operational Semantics
-
- Operational semantics of IMP
- A proof of the equivalence of language constructs.
- Denotational semantics of IMP.
- Equivalence of the semantices.
- Denotational Semantics II
-
- Languages with Contexts
-
- Axiomatic Semantics
-
An assertion language, semantics of assertions, verification rules, soundness.
- Language Design Principles
-
Languages with types, abstraction, parameterization, correspondence,
qualification.
- Miscellaneous Topics
-
Continuations, exceptions, backtracking, coroutines, unrestricted branching.
|
Last modified: Friday, 17 September 2004, 05:44 PM