ANALYSIS AND CACHING OF DEPENDENCIES

Authors
ABADI M LAMPSON B LEVY JJ
Citation
M. Abadi et al., ANALYSIS AND CACHING OF DEPENDENCIES, ACM SIGPLAN NOTICES, 31(6), 1996, pp. 83-91
Citations number
18
Categorie Soggetti
Computer Sciences","Computer Science Software Graphycs Programming
Journal title
ACM SIGPLAN NOTICES → ACNP
Volume
31
Issue
6
Year of publication
1996
Pages
83 - 91
Database
ISI
SICI code
Abstract
We address the problem of dependency analysis and caching in the conte xt of the lambda-calculus. The dependencies of a lambda-term are (roug hly) the parts of the lambda-term that contribute to the result of eva luating it. We introduce a mechanism for keeping track of dependencies , and discuss how to use these dependencies in caching.