具有一般排序的可接受性
编程语言
2007-05-23 v1 计算机科学中的逻辑
摘要
我们提出了一种新的逻辑程序终止分析方法。该方法的核心思想是使用一般排序（而非层级映射），如同变换方法中所做的那样，但我们直接将这些排序应用于逻辑程序本身，而非通过某种变换应用于项重写系统。我们定义了基于一般排序的一些可接受性变体，并展示了它们等价于LD终止。我们发展了一种基于需求驱动、约束的方法来验证这些可接受性变体。该方法相对于标准可接受性的优势在于，在某些需要复杂层级映射的情形下， fairly简单的排序可以轻松生成。相对于变换方法的优势在于它完全避免了变换步骤。{\bf Keywords:} termination analysis, acceptability, orderings.
引用
@article{arxiv.cs/0106052,
title = {Acceptability with general orderings},
author = {Danny De Schreye and Alexander Serebrenik},
journal= {arXiv preprint arXiv:cs/0106052},
year = {2007}
}
备注
To appear in "Computational Logic: From Logic Programming into the Future"