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.