Go backward to Stack-Managed Storage Go up to Top Go forward to Stack-Managed Store

Stack-Managed Storage

• Make storage calculations explicit in Store algebra
  • Store = (Location -> Storable-value) × Location
  • First component is data space of the stack
  • Second component indicates "top of stack"
  • 'allocate-locn' becomes the run-time version of 'reserve-locn'
• Environment domain is freed from storage management
  • Environment = Id -> Denotable-value
  • 'reserve-locn' is dropped.

Processing of declarations requires store as well as environment.