The Theory and Practice of Transforming Call-by-need into Call-by-value
The Theory and Practice of Transforming Call-by-need into Call-by-value
复制标题
按需呼叫向价值呼叫转变的理论与实践
DOI：
--
复制
发表时间：
1980
期刊：
影响因子：
--
通讯作者：
A. Mycroft
中科院分区：
文献类型：
--
作者：
A. Mycroft
逐个通话（这是对应用语言的呼叫呼叫的等效但更有效的实现）非常昂贵，而且当前的硬件也不允许完全使用这些技巧（例如备忘录功能和递归删除）带有便宜的通话。但是，后一种机制可能无法终止明确定义明确的方程式，并且也使某些程序转换模式无效。
Call-by-need (which is an equivalent but more efficient implementation of call-by-name for applicative languages) is quite expensive with current hardware and also does not permit full use of the tricks (such as memo functions and recursion removal) associated with the cheaper call-by-value. However the latter mechanism may fail to terminate for perfectly well-defined equations and also invalidates some program transformation schemata.