模块和逻辑编程
摘要：在Andreoli最近的论文中，我们研究了在他提出的框架中同时构造证明网的条件。我们为此目的定义了特定的正确性标准。我们首先研究了封闭模块（即逻辑程序执行的有效性），然后将该标准扩展到开放模块（即执行期间的有效性），区分了无环性和可连接性的标准，以便进行增量验证。
作者：Christophe Fouquere and Virgile Mogbil
论文ID：cs/0411029
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23