按需调用函数式语言中空间优化分析的环境
编程语言
2017-01-04 v1
摘要
我们提出了一个基于 Sestoft 抽象机 Mark 1 变体并扩展了急切垃圾回收器的按需调用演算 LRP 的解释器 LRPi 的实现。它被用作精确空间使用分析的工具，以支持我们对按需调用演算空间改进的研究。
引用
@article{arxiv.1701.00640,
title = {An Environment for Analyzing Space Optimizations in Call-by-Need Functional Languages},
author = {Nils Dallmeyer and Manfred Schmidt-Schauss},
journal= {arXiv preprint arXiv:1701.00640},
year = {2017}
}
备注
In Proceedings WPTE 2016, arXiv:1701.00233