二进制约束逻辑程序的改进终止准则
编程语言
2007-05-23 v1
摘要
一方面，逻辑程序的终止分析现在在逻辑编程社区中是一个相当成熟的研究主题。另一方面，非终止分析似乎仍是一个 much less attractive 的主题。如果我们将这一研究线划分为两种方法：动态分析与静态分析，本文属于后者。它提出了一种用于检测二进制CLP子句的原子查询是否非终止的准则，该准则严格概括了我们先前工作。我们给出了一个通用的操作定义和该准则的逻辑形式。随后我们证明了该逻辑形式相对于操作定义是正确且完备的。
引用
@article{arxiv.cs/0508106,
title = {An Improved Non-Termination Criterion for Binary Constraint Logic Programs},
author = {Etienne Payet and Fred Mesnard},
journal= {arXiv preprint arXiv:cs/0508106},
year = {2007}
}
备注
In A. Serebrenik and S. Munoz-Hernandez (editors), Proceedings of the 15th Workshop on Logic-based methods in Programming Environments October 2005, Sitges. cs.PL/0508078