Syntax of a Simple Imperative Language Operational semantics Outline Syntax of a Simple Imperative Language 2 Operational semantics o Small-step operational semantics oStructural operational semantics(SOS) o Extensions:going wrong,local variable declaration,heap o Contextual semantics (a.k.a.reduction semantics) Big-step operational semantics Operational Semantics Syntax of a Simple Imperative Language Operational semantics Outline 1 Syntax of a Simple Imperative Language 2 Operational semantics Small-step operational semantics Structural operational semantics (SOS) Extensions: going wrong, local variable declaration, heap Contextual semantics (a.k.a. reduction semantics) Big-step operational semantics Operational Semantics