桑德罗·埃塔利;毛里齐奥·加布里埃利 CLP模块更换操作的正确性。 (英语) Zbl 0924.68042号 J.功能。日志。程序。 1996年,第1条(1996年). 摘要:本文研究约束逻辑编程模块的替换变换。我们定义了新的适用性条件,以保证操作的正确性,同时也写入模块的组成:在这些条件下,原始模块和转换后的模块与其他模块组成时也具有相同的可观察属性。适用性条件不受可观察的特定概念的约束。这里我们考虑三个不同的概念。两个是可操作的,基于计算的约束;第三种是基于最小模型的代数方法。我们表明,我们的转换方法可以应用于任何这些不同的环境中,从而提供了一种参数化方法。 引用于1文件 MSC公司: 68N17号 逻辑编程 关键词:约束逻辑编程模块 PDF格式BibTeX公司 XML格式引用 \textit{S.Etalle}和\textit{M.Gabbrielli},J.Funct。日志。程序。1996年,第1条(1996;Zbl 0924.68042) 全文: 链接