Go backward to Escaping Locations
Go up to Top
Go forward to Extent in Other Block Forms
Escaping Locations
- Introduction of pointer variables:
- Variables may contain locations.
- Let A be global pointer variable.
- begin var B: newint in A:=B
end
- B's location escapes from block!
- Separation of stack and heap store.
- Actual parameter containing location transmitted to non-local
abstraction.
- Abstraction might save variable in non-local variable.
- Lazily evaluated parameters that mention variables.
- P(@A+1)
- In current language unevaluated phrases cannot be stored.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: qualification.tex,v 1.2 1996/05/02 11:53:49 schreine Exp schreine