Go backward to Abstractions Go up to Top Go forward to Command Abstracts |
Command abstracts = procedures.
D ::= D1; D2 | var I:T | proc I=C
C ::= C1; C2 | L:=E | begin D;C end | I |
...
Denotation of abstract's body:
Environment and store are provided at the point of invocation (dynamic scoping).
Environment provided at the point of definition, store provided at point of invocation (static scoping).
Procedure completely evaluated at point of definition and [[I]] is bound to result store.
Possible scoping mechanisms.