Prolog的表示共享
摘要：在程序中共享表示可以通过共享重复项之间的一个表示来减少内存占用。函数式编程系统中最常见的表示共享实现称为哈希共享。在Prolog的上下文中，表示共享一直受到关注。回顾了一些处理表示共享的当前技术。新的贡献有：(1) 为findall/3提供输入共享的简单实现；(2) 描述了一个在运行时引入表示共享的sharer模块。它们在hProlog实现的WAM上下文中展示了实现。两者都可以适应任何类似WAM的Prolog实现。该共享者独立于垃圾收集器工作，但可以与垃圾收集器合作。基准测试结果显示，该共享者的成本与堆垃圾收集器相当，其有效性高度依赖于应用程序，并且其策略必须调整到收集器。出现在《逻辑编程的理论与实践》（TPLP）中。
作者：Phuong-Lan Nguyen and Bart Demoen
论文ID：1106.1311
分类：Programming Languages
分类简称：cs.PL
提交时间：2011-07-01