Selective memoization
Selective memoization
复制标题
选择性记忆
DOI：
10.1145/604131.604133
复制
发表时间：
2003
期刊：
影响因子：
--
通讯作者：
R. Harper
中科院分区：
文献类型：
--
作者：
Umut A. Acar;G. Blelloch;R. Harper
我们提出了一个选择性地应用回忆的框架。该框架提供了对平等，空间用法和确定精确依赖性的识别的程序员的控制，因此可以根据应用程序的需求应用记忆。该框架的两个关键属性是它是有效的，并且可以使用标准技术来分析性能的程序。我们在功能语言的上下文中描述框架，并将实现作为SML库。该语言基于模态类型系统，允许程序员表达执行后显示其真实数据依赖的程序。 SML实现不能在静态上支持此模态类型系统，而是采用运行时检查以确保正确使用原始图。
We present a framework for applying memoization selectively. The framework provides programmer control over equality, space usage, and identification of precise dependences so that memoization can be applied according to the needs of an application. Two key properties of the framework are that it is efficient and yields programs whose performance can be analyzed using standard techniques.We describe the framework in the context of a functional language and an implementation as an SML library. The language is based on a modal type system and allows the programmer to express programs that reveal their true data dependences when executed. The SML implementation cannot support this modal type system statically, but instead employs run-time checks to ensure correct usage of primitives.