- Introduction
- context-free and context-dependent syntax
- denotational, operational and logical approaches to semantics
- Simple Imperative Languages
- denotational semantics of
- elementary control structures
- variables and assignment
- while loops
- operational semantics of a simple imperative language
- program specifications and program proofs
- validity of program-correctness axioms and rules
- Simple Functional Languages
- denotational semantics of
- function application and definition
- recursion
- domain theory
- operational semantics of a simple functional language
- quantification and substitution
- validity of program equivalences and derivation rules
- Procedural Languages
- combining the syntax and semantics of imperative and functional languages
This page was last modified on July 21, 2014.