Go backward to
Semantics of Dynamic Scoping
Go up to
Go forward to
Lifetime of a variable.
Different from scope!
Controls extent of local variables.
Locations freed upon block exit.
Valid strategy because no location bound to local variable may
Answer produced by block contains location.
Value assigned to global variable contains location.
Actual parameter containing location is transmitted to global abstraction that saves location.
Last Modification: May 14, 1998