| | |
Summary: A Theory of Indirection via Approximation
Aquinas Hobor
National University of Singapore
hobor@comp.nus.edu.sg
Robert Dockins
Princeton University
rdockins@cs.princeton.edu
Andrew W. Appel
Princeton University
appel@princeton.edu
Abstract
Building semantic models that account for various kinds of indirect
reference has traditionally been a difficult problem. Indirect refer-
ence can appear in many guises, such as heap pointers, higher-order
functions, object references, and shared-memory mutexes.
We give a general method to construct models containing indi-
rect reference by presenting a "theory of indirection". Our method
can be applied in a wide variety of settings and uses only simple,
elementary mathematics. In addition to various forms of indirect
reference, the resulting models support powerful features such as
|
