Operational Semantics: A Formal Approach to Arithmetic Expressions

February 13, 2025

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

Read more →