彼得·乔森（Peter A.Jonsson）。;约翰·诺德兰德 高阶按值调用语言的正超编译。 （英语） Zbl 1209.68115号 日志。方法计算。科学。 6，第3号，第5号论文，39页（2010年）. 摘要：以前的森林砍伐和超级编译算法在应用于按值调用程序时可能会导致意外终止。这会向程序员隐藏循环错误，并根据程序是否优化来更改程序的行为。我们提出了一种高阶按值调用语言的超编译算法，并证明了该算法既终止又保留了终止性质。该算法利用严格性信息来决定是否替换，并与以前的调用名转换进行了比较。 MSC公司： 68N20型 编译与解释理论 关键词：超级编译;森林砍伐;呼叫值 软件：WSDFU公司 PDF格式BibTeX公司 XML格式引用 \textit｛P.A.Jonsson｝和\textit｛J.Nordlander｝，日志。方法计算。科学。6，第3号，第5号论文，39页（2010年；Zbl 1209.68115） 全文： 内政部