Stack-Managed Storage
- Store of block-structured languages always used in a stack-like fashion
- Locations are bound to identifiers sequentially using 'nextlocn'.
- Location bound to identifier in local block are freed for re-use when
block is exited.
- Storage reuse automatically in C[[C1; C2]]
- Locations bound to identifiers in [[C1]] are reserved by
environment built from e for C[[C1]].
- C[[C2]] uses original e (and original location
marker) effectively deallocating these locations.
Significant characteristics of block-structured languages!
Author: Wolfgang Schreiner
Last Modification: November 18, 1997