Analysis and caching of dependencies
Analysis and caching of dependencies
复制标题
依赖分析和缓存
DOI：
10.1145/232627.232638
复制
发表时间：
1996
期刊：
影响因子：
--
通讯作者：
J. Lévy
中科院分区：
文献类型：
--
作者：
M. Abadi;B. Lampson;J. Lévy
我们解决的依赖关系分析和缓存的背景下，演算的问题。一个-term的依赖关系（大致）的-term的部分，有助于评估它的结果。我们介绍了一种机制，以保持跟踪的依赖关系，并讨论如何使用这些依赖关系在缓存。
We address the problem of dependency analysis and caching in the context of the λ-calculus. The dependencies of a λ-term are (roughly) the parts of the λ-term that contribute to the result of evaluating it. We introduce a mechanism for keeping track of dependencies, and discuss how to use these dependencies in caching.