关于判定按需调用复杂性的研究
计算机科学中的逻辑
2011-11-29 v2 编程语言
摘要
在最近的一篇论文中，我们引入了一个新框架，用于研究项重写中归约为范式与根稳定形式的按需调用计算。利用初等树自动机技术和地面树转换器，我们获得了比早期使用复杂顺序性概念定义的类大得多的重写系统类的简单可判定性证明。在本文中，我们表明，为了得到以直接树自动机构造表述的可判定性证明，我们可以不使用地面树转换器。这使我们能够推导出更好的复杂性界限。
引用
@article{arxiv.0901.0869,
title = {On the Complexity of Deciding Call-by-Need},
author = {Irène Durand and Aart Middeldorp},
journal= {arXiv preprint arXiv:0901.0869},
year = {2011}
}