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