It is possible to give a relational semantics
for the language FUN
that uses environments.
⇒ captures the dynamic semantics, that is to say the semantics of execution.
The binary relation
⊢ is the environment relation, we write
to mean that when given the environment
E the expression
e evaluates to
The inductive definition of
R. Burstall. Language Semantics and Implementation. Course Notes. 1994.
Copyright © 2014 Barry Watson. All rights reserved.