Syntax of a Simple Imperative Language Operational semantics Syntax Syntax Semantics L] (IntExp)e ::=n n x l e+e e-e (BoolExp)b = true true false false I e=e I e<e 1b A bvb Operatonal SemanticsSyntax of a Simple Imperative Language Operational semantics Syntax Syntax Semantics b·c (IntExp) e ::= n n | x | e + e + | e − e − | . . . (BoolExp) b ::= true true | false false | e = e = | e < e < | ¬b ¬ | b ∧ b ∧ | b ∨ b ∨ | . . . Operational Semantics