利用参数集约束定位CLP程序中的错误
Using parametric set constraints for locating errors in CLP programs
摘要：
本文提出了一种约束逻辑程序设计（CLP）的参数化描述方向类型框架。提出了一种CLP程序类型错误定位方法，并给出了一个原型调试工具。所使用的主要技术是检查程序的正确性w.r.t.型号规格该方法是基于一个推广的已知方法证明正确性的逻辑程序的情况下，参数规格。集约束技术用于制定和检查验证条件（参数）多态类型规范。的规格表示在一个参数扩展的形式主义的长期语法。证明了该方法的合理性，并通过实例说明了支持该方法的原型调试工具。本文是以前的工作由相同的作者关于单形方向类型的一个实质性的扩展。
英文摘要：
This paper introduces a framework of parametric descriptive directional types for constraint logic programming (CLP). It proposes a method for locating type errors in CLP programs and presents a prototype debugging tool. The main technique used is checking correctness of programs w.r.t. type specifications. The approach is based on a generalization of known methods for proving correctness of logic programs to the case of parametric specifications. Set-constraint techniques are used for formulating and checking verification conditions for (parametric) polymorphic type specifications. The specifications are expressed in a parametric extension of the formalism of term grammars. The soundness of the method is proved and the prototype debugging tool supporting the proposed approach is illustrated on examples. The paper is a substantial extension of the previous work by the same authors concerning monomorphic directional types.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
