Syntax ot a Simple Imperative Language Operational semantics Formal semantics of a programming language o Operational semantics o Denotational semantics o Axiomatic semantics Operatonal SemanticsSyntax of a Simple Imperative Language Operational semantics Formal semantics of a programming language Operational semantics Denotational semantics Axiomatic semantics Operational Semantics