Recommended for

The course was last given

Goals

Learn practical specification of such concepts using Natural Semantics and
operational

semantics.

Prerequisites

Undergraduate courses in programming languages.
Also: either the ECSEL foundational course Principles of programming languages
and systems,
or at least one of the undergraduate courses
Compiler Construction, Formal Languages and Automata, Programming Theory
or equivalent.