检查HAL程序的模式
摘要：有关强类型约束逻辑编程语言（CLP）的最新研究表明，需要对谓词进行类型、模式和确定性声明。这些信息可以生成高效的目标代码，并在编译时检测到许多错误。不幸的是，此类语言中的模式检查颇具挑战性。其中一个主要原因是，对于每个谓词模式声明，编译器需要适当地重新排列谓词定义中的文字。此任务进一步复杂化了对复杂实例化（与类型声明和高阶谓词相互交互）和求解器变量的自动初始化的处理。在这里，我们定义了强类型CLP语言的模式检查，这些语言要求重新排列子句主体中的文字。此外，我们还展示了如何使用相应的多态类型处理简单的多态模式情况。
作者：Maria Garcia de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen
论文ID：cs/0409038
分类：Programming Languages
分类简称：cs.PL
提交时间：2010-09-03