Syntax of a Simple Imperative Language Operational semantics Different approaches of operational semantics oSmall-step semantics: Describe each single step of the execution o Big-step semantics: Describe the overall result of the execution We will explain both in detail by examples Operational Semantics Syntax of a Simple Imperative Language Operational semantics Different approaches of operational semantics Small-step semantics: Describe each single step of the execution Big-step semantics: Describe the overall result of the execution We will explain both in detail by examples. Operational Semantics