Operational semantics is a formal programming language semantics in which desired properties of a program are verified by constructing proofs from logical statements about its execution and procedures. It is divided into two categories: structural operational semantics (small-step) and natural semantics (big-step). Other approaches to providing a formal semantics include axiomatic and denotational semantics. Lambda calculus and abstract machines such as the SECD machine are closely related.
University of Washington
Spring 2021
University of Washington's course develops rigorous tools to study the meaning of programs. It aims to improve formalism, proof skills, and precision in programming, while also discussing practical applications. It covers operational semantics, Hoare Logic, compiler correctness, and more.
No concepts data
+ 17 more conceptsStanford University
Spring 2022
Combination of theoretical and practical perspectives on compiler design. This course emphasizes correctness over performance, providing a deep understanding of compiler structure and functioning.
No concepts data
+ 16 more concepts