Call-By-Name CPS-Translation as a Binding-Time Improvement
Call-By-Name CPS-Translation as a Binding-Time Improvement
复制标题
作为绑定时间改进的按名称调用 CPS 翻译
DOI：
10.1007/3-540-60360-3_46
复制
发表时间：
1995
期刊：
影响因子：
--
通讯作者：
M. Sørensen
中科院分区：
文献类型：
--
作者：
K. Nielsen;M. Sørensen
作为部分求值的一种工具，按值调用连续传递样式（CBV CPS）的翻译受到了广泛的关注，但按名称调用（CBN）CPS翻译尚未得到研究。我们对CBN CPS与部分评估和森林砍伐的影响进行了系统的调查。
Much attention has been given to the call-by-value continuation passing style (CBV CPS) translation as a tool in partial evaluation, but the call-by-name (CBN) CPS translation has not been investigated. We undertake a systematic investigation of the effect of CBN CPS in connection with partial evaluation and deforestation.