Applicative Caching

Authors

Robert M. Keller, Harvey Mudd CollegeFollow
M Ronan Sleep, University of East Anglia

Document Type

Article

Department

Computer Science (HMC)

Publication Date

1-1986

Abstract

The “referential transparency” principle of applicative language expressions stipulates that a single value exists for all occurrences of an expression in a given context (where a context is a set of bindings of variables to values). In principle, each such value therefore need to be computed only once. However, in applicative language systems supporting recursive programming or tasking notions, the bindings are not all precomputed and explicit. As a result, textual recognition of all multipleoccurrences is precluded, with the unfortunate consequence that such occurrences are recomputed. We elaborate upon the early notion of “memo function” for solving this problem. We suggest syntactic and semantic constructs providing programmer control for avoiding recomputation, which is incorporated into a “building-block” approach.

Rights Information

©1986 Association for Computing Machinery

Terms of Use & License Information

Terms of Use for work posted in Scholarship@Claremont.

Recommended Citation

Keller, RM, Sleep, MR. Applicative Caching. ACM Trans Prog Lang Sys. 1986;8(1): 88-108.