Applicative caching

Keller, Robert M. and Sleep, M. Ronan (1986) Applicative caching. ACM Transactions on Programming Languages and Systems, 8 (1). pp. 88-108. ISSN 0164-0925

Full text not available from this repository. (Request a copy)

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.

Item Type:	Article
Faculty \ School:	Faculty of Science > School of Computing Sciences
Depositing User:	Vishal Gautam
Date Deposited:	10 Mar 2011 10:25
Last Modified:	04 Mar 2024 16:49
URI:	https://ueaeprints.uea.ac.uk/id/eprint/23674
DOI:	10.1145/5001.5004

Actions (login required)

View Item