Operational Semantics: Execution and Computation Models Comprehensive guide to operational semantics, exploring how to formally specify program execution through transition systems, evaluation rules, and computation models. 2025-12-20