弗朗索瓦·丹尼斯;Jean-Paul,Delahaye 逻辑程序的展开、过程和定点语义。 (英语) Zbl 0776.68079号 计算机科学的理论方面。第8年。交响乐团。,德国汉堡STACS’91。1991年,勒克特。注释计算。科学。480, 511-522 (1991). 摘要:[有关整个系列,请参阅Zbl 0753.00019号.]我们提出了与展开语义相关的新概念,阐明了逻辑程序的过程语义和不动点语义之间的关系。我们引入了三个主要的新想法:–展开规则具有关联性属性,可确保展开语义与过程语义的充分性,–统一公平的计算规则,确保强大的程序等效性,–运算符与展开兼容的概念,它提供了展开和定点语义之间的联系,并为证明逻辑程序的过程语义和定点语义等价的新旧结果提供了新工具。 引用于6文件 MSC公司: 68问题55 计算理论中的语义学 68N17号 逻辑编程 关键词:逻辑程序的语义;展开语义 引文:Zbl 0753.00019号 PDF格式BibTeX公司 XML格式引用 \textit{F.Denis}和\textit{J.-P.Delahaye},莱克特。注释计算。科学。480、511--522(1991年;Zbl 0776.68079)