基于一般项序的逻辑程序终止性分析
编程语言
2007-05-23 v1
摘要
我们提出了一种新的逻辑程序终止性分析方法。该方法的核心是利用一般项序（而非层级映射），如同变换方法中所做的那样，但直接应用于逻辑程序而非通过某种变换应用于项重写系统。我们定义了基于一般项序的若干接受性变体，并展示了它们等价于 LD-终止性。我们发展了一种需求驱动的、以约束为基础的用于验证这些接受性变体的方法。该方法相对于标准接受性的优势在于：在需要复杂层级映射的情况下， fairly simple term-orderings 可能更容易生成。相对于变换方法的优势在于：它完全避免了变换步骤。
引用
@article{arxiv.cs/0011025,
title = {Termination analysis of logic programs using acceptability with general term orders},
author = {Alexander Serebrenik and Danny De Schreye},
journal= {arXiv preprint arXiv:cs/0011025},
year = {2007}
}
备注
technical report of K.U.Leuven