Formal methods for the description of programming languages. Operational,
axiomatic and denotational semantics, attribute grammar, two-level grammars.
Fixed-point theory of computation. Verification techniques.​