二元约束逻辑程序的改进非终止准则
摘要：逻辑程序的终止分析是逻辑编程社区中一个相当成熟的研究课题。另一方面，非终止分析似乎仍然是一个不太有吸引力的主题。如果我们将这一研究分成动态与静态分析两种方法，本文属于后者。它提出了一种用于检测二元CLP子句中非终止原子查询的准则，这严格概括了我们之前对该主题的研究。我们给出了一个通用的操作性定义和该准则的逻辑形式。然后我们证明了逻辑形式与操作性定义的正确性和完备性。
作者：Etienne Payet and Fred Mesnard
论文ID：cs/0508106
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-05-23