It is possible to give a relational semantics
for the language FUN
that uses substitutions.
⇒ captures the dynamic semantics, that is to say the semantics of execution.
⇒s is the substitution relation.
The inductive definition of
No rule is given for variables as it is assumed there are no free variables.
R. Burstall. Language Semantics and Implementation. Course Notes. 1994.
Copyright © 2014 Barry Watson. All rights reserved.