使用参数集约束在CLP程序中定位错误
摘要：基于约束逻辑编程（CLP）的参数化描述性方向类型框架的引入 一种在CLP程序中定位类型错误的方法和原型调试工具的提出 主要技术是根据类型规范检查程序的正确性 该方法基于已知的逻辑程序正确性证明方法的推广，适用于参数化规范的情况 使用集合约束技术来制定和检查（参数化的）多态类型规范的验证条件 规范采用术语语法的参数化扩展。 该方法的准确性得到证明，原型调试工具支持所提出的方法，并在示例中进行了说明。 这篇论文是同一作者关于单态方向类型的工作的实质性扩展。
作者：W. Drabent, J. Maluszynski and P. Pietrzak
论文ID：cs/0202010
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-05-23