Go backward to Semantics of Dynamic Scoping
Go up to Top
Go forward to Escaping Locations
Extent
- Extent:
- Lifetime of a variable.
- Different from scope!
- Command block:
- Controls extent of local variables.
- Locations freed upon block exit.
- Valid strategy because no location bound to local variable may
escape from block.
- Escape of locations:
- 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.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: qualification.tex,v 1.2 1996/05/02 11:53:49 schreine Exp schreine