Deriving a lazy abstract machine
Deriving a lazy abstract machine
复制标题
派生一个惰性抽象机
DOI：
10.1017/s0956796897002712
复制
发表时间：
1997
影响因子：
1.1
通讯作者：
P. Sestoft
中科院分区：
文献类型：
--
作者：
P. Sestoft
我们从Launchbury的自然语义出发，推导出一个简单的抽象机器，用于lambda演算的惰性评估。这里的惰性求值意味着共享参数求值的非严格求值，即按需调用。我们派生的机器是Krivine的抽象机器的懒惰版本，它最初是为按名称调用计算而设计的。我们用数据类型构造函数和基值扩展它，所以最终的机器实现了懒惰函数式语言的所有动态方面。
We derive a simple abstract machine for lazy evaluation of the lambda calculus, starting from Launchbury's natural semantics. Lazy evaluation here means non-strict evaluation with sharing of argument evaluation, i.e. call-by-need. The machine we derive is a lazy version of Krivine's abstract machine, which was originally designed for call-by-name evaluation. We extend it with datatype constructors and base values, so the final machine implements all dynamic aspects of a lazy functional language.