毛里齐奥·加布里埃利;乔治·列维 关于逻辑程序的语义。 （英语） Zbl 0769.68013号 自动化、语言和编程、Proc。第18国际学院，马德里/西班牙，1991年，法律。注释计算。科学。510, 1-19 (1991). 摘要：[有关整个系列，请参阅Zbl 0753.00027号.]本文概述了我们对逻辑程序语义的研究方法，其目的是找到真正捕获操作语义的模型概念，因此对于定义程序等价性和基于语义的程序分析很有用。这种方法导致引入了比赫布兰德解释更具表达力的扩展解释。扩展解释的语义可以通过操作结构和不动点结构获得。通过定义一组包含标准Herbrand模型的扩展模型，也可以从模型理论的角度对其进行表征。正程序的原始结构被证明适用于其他类型的逻辑程序，如约束逻辑程序、开放程序、并发约束程序和通用程序。 引用于2评论引用于4文件 MSC公司： 68N17号 逻辑编程 68问题55 计算理论中的语义学 03B70号 计算机科学中的逻辑 关键词：操作语义学;程序等效项;基于语义的程序分析;定点构造 引文：Zbl 0753.00027号 PDF格式BibTeX公司 XML格式引用 \textit{M.Gabbrielli}和\textit{G.Levi}，莱克特。注释计算。科学。510，1-19（1991；Zbl 0769.68013）