Syntax ot a Simple Imperative Language Operational semantcs Operational Semantics Operabonal SemanticsSyntax of a Simple Imperative Language Operational semantics Operational Semantics Operational Semantics