Semantics

Operational Semantics: Adding Variables, Functions and Conditionals

Extend a simple arithmetic language with variables, functions, and conditionals. Learn about environments, closures, and lexical scoping in operational semantics.

Operational Semantics: A Formal Approach to Arithmetic Expressions

An introduction to operational semantics for programming languages. Learn small-step and big-step semantics through a simple arithmetic expression language.