Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Core Calculus of Dependency Martn Abadi
 

Summary: A Core Calculus of Dependency
Mart’n Abadi
Systems Research Center
Compaq
ma@pa.dec.com
Anindya Banerjee
Stevens Institute of Technology
ab@cs.stevens­tech.edu
Nevin Heintze
Bell Laboratories
nch@bell­labs.com
Jon G. Riecke
Bell Laboratories
riecke@bell­labs.com
Abstract
Notions of program dependency arise in many settings: security,
partial evaluation, program slicing, and call­tracking. We argue
that there is a central notion of dependency common to these set­
tings that can be captured within a single calculus, the Dependency
Core Calculus (DCC), a small extension of Moggi's computational

  

Source: Abadi, Martín - Department of Computer Science, University of California at Santa Cruz

 

Collections: Computer Technologies and Information Sciences