This course provides an introduction to the theory of programming languages, with an emphasis on language design and formal semantics. Students will learn how to formalize common programming constructs using operational, denotational, and axiomatic models; to prove properties about programs using language-based reasoning tools; and to apply these ideas in the design of a new domain-specific language.
- Professor: Nate Foster
