Syntax of a Simple Imperative Language Operational semantics A programming language o Syntax o Semantics Operational Semantics Syntax of a Simple Imperative Language Operational semantics A programming language Syntax Semantics Operational Semantics