- 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.
|
Last modified: Tuesday, 18 July 2006, 03:43 PM