Semantic description methods. Denotational semantics. Semantic domains and semantic functions. Fixed point theory. The meaning of different language constructs. Operational semantics. Transition systems.

Natural semantics, structural operational semantics. The meaning of non-deterministic and parallel constructs. Equivalence results. Axiomatic program verification. Attribute grammars and two-level grammars. Static program analysis.