ITL
© 1996-2018







IV.4 Semantics of Expressions

Semantics of expressions [Slide 119]

Let E() be the “meaning” (semantic) function from Expressions × Σ to Val (integer values) and let σ0 be a state then

Ez(σ0)
=
z
EA(σ0)
=
σ0(A)
Eg(e1,,en)(σ0)
=
g(Ee1(σ0),,Een(σ0))

Example 32.  

EAccount(σ0)
=
σ0(Account)
   
EIn(σ0)
=
σ0(In)
   
EAccount + In(σ0)
=
EAccount(σ0)+EIn(σ0)
=
σ0(Account)+σ0(In)







2018-02-25
Contact | Home | ITL home | Course | Proofs | Algebra | FL