Syntax ot a Simple Imperative Language Operational semantcs Operational Semantics Operabonal Semantics
Syntax of a Simple Imperative Language Operational semantics Operational Semantics Operational Semantics
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
Syntax ot a Simple Imperative Language Operational semantics Formal semantics of a programming language o Operational semantics o Denotational semantics o Axiomatic semantics Operatonal Semantics
Syntax of a Simple Imperative Language Operational semantics Formal semantics of a programming language Operational semantics Denotational semantics Axiomatic semantics Operational Semantics
Syntax of a Simple Imperative Language Operational semantics Operational semantics Operational semantics defines program executions: o Sequence of steps,formulated as transitions of an abstract machine Configurations of the abstract machine include: o Expression/statement being evaluated/executed o States:abstract description of registers,memory and other data structures involved in computation Operational Semantics
Syntax of a Simple Imperative Language Operational semantics Operational semantics Operational semantics defines program executions: Sequence of steps, formulated as transitions of an abstract machine Configurations of the abstract machine include: Expression/statement being evaluated/executed States: abstract description of registers, memory and other data structures involved in computation Operational Semantics
Syntax ot a Simple Imperative Language Cperational semantics Program Abstract Machine Input Function Initial Configuration Inputs Intermediate Configuration Rules Intermediate Configuration Auswer Output Function Final Configuration Figure taken from Franklyn Turbak and David Gifford's Design Concepts in Programming Languages. Operatonal Semantics
Syntax of a Simple Imperative Language Operational semantics Figure taken from Franklyn Turbak and David Gifford’s Design Concepts in Programming Languages. Operational Semantics