按需调用函数式语言空间优化分析环境
An Environment for Analyzing Space Optimizations in Call-by-Need Functional Languages
摘要：
我们提出了一个实现的解释器LRPi的调用需要演算LRP，基于一个变体的Sestoft的抽象机马克1，扩展了一个热切的垃圾收集器。它被用来作为一个工具，准确的空间使用分析，支持我们的调查空间的改进呼叫按需演算。
英文摘要：
We present an implementation of an interpreter LRPi for the call-by-need calculus LRP, based on a variant of Sestoft's abstract machine Mark 1, extended with an eager garbage collector. It is used as a tool for exact space usage analyses as a support for our investigations into space improvements of call-by-need calculi.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
