Students enrolled in this class are expected to check this web page regularly. Complete lecture notes will be posted here, following the same model as in CS422 in Fall 2025.
We may sometimes meet online on zoom, eg when traveling to professional events: https://illinois.zoom.us/j/2172447431?pwd=dEtxWmdJR0FYOElUa1ZLL2RJRzdZUT09
When we meet online, we will record the lectures and post the links here:
CS422 is an advanced course on principles of programming language design. Major semantic approaches to programming languages will be discussed, such as structural operational semantics (various kinds), denotational semantics, and rewriting-based semantics. Programming language paradigms will be investigated and rigorously defined, including: imperative, functional, object-oriented, and logic programming languages; parameter binding and evaluation strategies; type checking and type inference; concurrency. Since the definitional framework used in this class will be executable, interpreters for the designed languages will be obtained for free. Software analysis tools reasoning about programs in these languages will also arise naturally. Major theoretical models will be discussed.
The links below provide you with useful material for this class, including complete lecture notes. These materials will be added by need.
... for the rest.