Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Theory of Indirection via Approximation Aquinas Hobor
 

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

  

Source: Appel, Andrew W. - Department of Computer Science, Princeton University
Hobor, Aquinas - School of Computing, National University of Singapore
Singh, Jaswinder Pal - Department of Computer Science, Princeton University

 

Collections: Computer Technologies and Information Sciences