We define an operational semantics for lazy evaluation which provides an accurate model for sharing. The only computational structure we introduce is a set of bindings which corresponds closely to a heap. The semantics is set at a considerably higher level of abstraction than operational semantics for particular abstract machines, so is more suitable for a variety of proofs. Furthermore, because a heap is explicitly modelled, the semantics provides a suitable framework for studies about space behaviour of terms under lazy evaluation.
我们定义了用于惰性评估的操作语义,该语义为共享提供了准确的模型。我们引入的唯一计算结构是一组绑定,这些绑定与堆紧密对应。与特定抽象机的操作语义相比,将语义设置为更高的抽象级别,因此更适合各种证明。此外,由于对堆进行了显式建模,因此语义为懒惰评估条件下的术语空间行为研究提供了一个合适的框架。 P>
机译:Launchbury的自然语义足以进行惰性评估
机译:两级语法的惰性评估语义科学出版物
机译:惰性评估的操作语义|科学出版物
机译:用于懒惰评估的自然语义的本地无名表示
机译:惰性求值分析的操作语义。
机译:限制尚未懒惰:持有令人难以置信的信仰的人对证据质量评估的准实验二次分析
机译:Launchbury自然语义对于懒惰评价的正确性
机译:延迟复制:利用分布式服务的语义