Go backward to Stack-Managed Storage Go up to Top Go forward to The Meaning of Identifiers

Stack-Managed Store

• Declarations

  D: Declaration -> Environment -> Store -> (Environment × Poststore)
  D[[var I]] =
      lambda e.lambda s. let (l,p) = (allocate-locn s)
      in ((updateenv [[I]] inLocation(l) e), p)
  D[[D₁; D₂]] =
      lambda e.lambda s. let (e',p) = (D[[D₁]]e s)
      in (check D[[D₂]]e')(p)

• Blocks

  K[[begin D;C end]] = lambda e.lambda s.
      let l = mark-locn in
      let (e',p) = D[[D]]e s in
      let p' = (check (C[[C]]e'))(p)
      in (check (deallocate-locns l))(p')

Environment beckomes run-time object because binding of location values to identifiers depends on run-time store.