15-312 Foundations of Programming Languages
Lecture 4: Static and Dynamic Semantics

In this lecture we present the static semantics of our small language of arithmetic expressions, including variables and definitions. While the example is almost trivial, some issues regarding variable renaming and substitution will come up, and the methodology of the course can be seen in a very simple setting.