罗伯托·贾科巴齐;索米亚·德布雷。;乔治·列维 约束逻辑程序的广义语义。 （英语） Zbl 0862.68072号 新一代计算机技术研究所（编辑），第五代计算机系统1992。92年FGCS国际会议。日本1992年，第2卷。阿姆斯特丹：IOS出版社。581-591 (1992). 摘要：我们为约束逻辑程序提供了一个简单而强大的广义代数语义，该程序是针对底层约束系统进行参数化的。“广义语义”通过关注任何（可能是非标准的）语义定义的一般属性，从标准语义对象中抽象出来。在约束逻辑编程中，这对应于支持语义定义的约束系统的适当定义。引入代数结构来形式化约束系统概念，从而得到适用的经典数学结果，并考虑了自顶向下和自底向上的语义。CLP的非标准语义可以通过定义标准语义的相同技术进行形式化指定。在此框架中，可以指定约束逻辑语言的不同非标准语义：例如抽象解释、机器级跟踪和基于约束系统实例的任何计算。关于整个系列，请参见[Zbl 0853.00057号]。 引用于5文件 MSC公司： 68问题55 计算理论中的语义学 68N17号 逻辑编程 关键词：代数语义学;约束逻辑程序 PDF格式BibTeX公司 XML格式引用 \textit{R.Giacobazzi}等人，1992年：第五代计算机系统。92年FGCS国际会议。日本1992年，第2卷。阿姆斯特丹：IOS出版社。581--591（1992年；Zbl 0862.68072）