×
德波尔，F.S。;J.J.M.M.鲁顿。;J.N.角。;帕拉米德斯，C。

并发逻辑语言的语义模型。 （英语） 兹伯利0746.8087

西奥。计算。科学。 86，第1期，3-33页（1991年）.
正如标题所示，本文讨论了一类并发逻辑语言的各种语义模型。事实上，我们处理了四个语义模型：一个操作模型和一个声明模型，用于建模成功集（即，与所有成功终止的计算相对应的计算答案替换集），一个操作模式和一个指称模型，用于模拟所有计算，包括死锁和无限计算。这两种操作语义都是通过配置上的转换关系定义的，配置包括要实现的目标（已证明）和迄今为止已获得的结果（替换）。陈述语义和指称语义都基于定点结构。声明语义基于有限的替换流，而指称语义基于统一步骤的树状结构（使用度量空间技术）。尽管所有这些看起来都是相当异质的（老实说，在某种程度上确实如此），但作者们表明声明语义与第一个操作语义是等价的，并且指称模型相对于第二个操作语义是正确的（即该操作语义是指称语义的抽象）。然而，指称模型并不是完全抽象的，因此这种模型的构建是一个悬而未决的问题。
审核人：J.-J.Ch.Meyer（阿姆斯特丹）

引用于三文件

MSC公司：

68问题55 计算理论中的语义学
68甲15 编程语言理论
2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）

关键词：

逻辑程序设计;并发;度量空间;语义学

软件：

帕洛;GHC公司
PDF格式BibTeX公司 XML格式引用
\textit{F.S.de Boer}等人，Theor。计算。科学。86，第1号，第3--33号（1991年；Zbl 0744.68087）
全文： 内政部

参考文献：

[1] Apt，K.R.，《逻辑编程导论》（Van Leeuwen，J.，《理论计算机科学手册》第B卷（1990），爱思唯尔：爱思唯尔阿姆斯特丹），493-574·Zbl 0900.68136号
[2] 美国，P。；Rutten，J.J.M.M.，在一类完备度量空间中求解自反域方程，J.Compute。系统科学。，39, 3, 343-375 (1989) ·Zbl 0717.18002号
[3] Beckman，L.，《面向并发逻辑编程语言的形式语义》（Shapiro，E.，Proc.3rd Internat.Conf on logic programming，225（1986），Springer:Springer Berlin），335-349·Zbl 0595.68012号
[4] 克拉克·K·L。；Gregory，S.，关于parlog实现的注释，J.逻辑编程，2，1，17-42（1985）·Zbl 0575.68005号
[5] 克拉克·K·L。；Gregory，S.，Parlog:逻辑并行编程，ACM TOPLAS，8，1，1-49（1986）·Zbl 0592.68016号
[7] de Boer，F.S。；Kok，J.N。；帕拉米德斯，C。；Rutten，J.J.M.M.，《控制流与逻辑：保护喇叭子句的指称和声明模型》，（Kreczmar，a.；Mirkowska，G.，Proc.Mathematical Foundations of Computer Science（MFCS 89），379（1989），Springer:Springer Berlin），165-177·Zbl 0755.68094号
[8] de Boer，F.S。；Kok，J.N。；帕拉米德斯，C。；Rutten，J.J.M.M.，《从失败到成功：比较horn子句逻辑的指称语义和声明语义》，Proc。国际。BCS-FACS并发语义研讨会（1990年），发表于理论。计算。科学。·Zbl 0761.68055号
[9] de Bakker，J.W。；Zucker，J.I.，进程和并发的指称语义，Inform。和控制，54，70-120（1982）·Zbl 0508.68011号
[10] Eder，E.，替换和统一的性质，J.符号计算。，1, 31-46 (1985) ·Zbl 0589.68063号
[11] 法拉斯基，M。；列维·G。；Martelli，M。；Palamidessi，C.，《逻辑语言的一种新的声明语义学》（Bowen，K.A.；Kowalski，R.A.，《逻辑编程第五次会议和交响乐》（1988年），麻省理工学院出版社：麻省理学学院出版社，马萨诸塞州剑桥），993-1005年，西雅图
[12] 法拉斯基，M。；列维·G。；Martelli，M。；Palamidessi，C.，逻辑语言操作行为的声明性建模，Theoret。计算。科学。，69, 3, 289-318 (1989) ·Zbl 0699.68113号
[13] Gregory，S.，PARLOG中的并行逻辑编程（1987），Addison Wesley：Addison Wesley Reading，MA，逻辑编程国际系列·Zbl 0592.68016号
[14] Hennesy，M。；Plotkin，G.D.，简单并行编程语言的完全抽象，（Becvar，J.，Proc.8th Internat.Symp.on Mathematical Foundations on Computer Science，74（1979），Springer:Springer Berlin），108-120，计算机科学讲稿·Zbl 0457.68006号
[15] Huet，G.，第1、2、…、ω阶语言方程的求解，巴黎大学博士论文，VII（1976）
[16] Levi，G.，《模型、展开规则和不动点语义》，（Bowen，K.A.；Kowalski，R.A.，《逻辑编程第五次会议和交响乐》（1988），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥），1649-1665年，西雅图
[17] 拉塞兹，J.-L。；Maher，M.J。；Marriot，K.，《重新审视统一》（Minker，J.，演绎数据库和逻辑编程基础（1988），Morgan Kaufmann:Morgan Koufmann Los Altos）·Zbl 0645.68046号
[18] 列维·G。；Palamidessi，C.，逻辑只读变量的声明性语义，（Proc.IEEE Symp.on Logic Programming（1985），IEEE计算机学会出版社），128-137，波士顿
[19] 列维·G。；Palamidessi，C.，《逻辑语言中同步的声明性语义方法》（Lassez，J.-L.，Proc.4th Internat.Conf.on logic Programming，1987），麻省理工学院出版社：麻省理学院出版社剑桥，马萨诸塞州），877-893，墨尔本
[20] Murakami，M.，《具有永久过程的并行逻辑程序的声明性语义》（Proc.5th Generation Computer Systems（1988），Ohmsha Ltd:Ohmsa Ltd Tokyo，Japan），374-381
[21] Palamidessi，C.，防护喇叭子句的定点语义，技术报告CS-R8833（1988），数学和计算机科学中心：阿姆斯特丹数学和计算机科技中心
[22] Saraswat，V.A.，cp的部分正确性语义(↓,|,&), （软件计算和理论计算机科学基础会议，206（1985），施普林格：施普林格柏林），347-368·Zbl 0592.68024号
[23] Saraswat，V.A.，《并发逻辑编程语言cp:定义和操作语义》，（第14届美国计算机学会编程语言原理研讨会会议记录（1987年），美国计算机学会：美国计算机学会纽约分会），49-63
[24] Saraswat，V.A.，GHC：操作语义、问题和与cp的关系(↓,|), （IEEE国际.逻辑编程研讨会（1987），IEEE:IEEE纽约），347-358，旧金山
[25] Shapiro，E.Y.，并发序言及其解释器的子集，技术报告TR-003（1983），ICOT
[26] 夏皮罗，E.Y.，《同期序言：论文集》，第卷。1，2（1988），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥
[27] 竹内，A。；Furukawa，K.，《并行逻辑编程语言》（Shapiro，E.，Proc.3rd Internat.Conf.on logic programming，225（1986），Springer:Springer Berlin）
[28] Ueda，K.，Guarded horn子句，（夏皮罗，E.Y.，Concurrent Prolog:Collected Papers（1988），麻省理工学院出版社：麻省剑桥大学出版社），第4章·Zbl 0771.68037号
[29] Ueda，K.，Guarded horn子句，一种具有保护概念的并行逻辑编程语言，（Nivat，M.；Fuchi，K.《未来一代计算机的编程》（1988），北荷兰：北荷兰阿姆斯特丹），441-456·Zbl 0657.68011号
[30] van Emden，M.H。；Kowalski，R.A.，谓词逻辑作为编程语言的语义，J.ACM，23，4，733-742（1976）·Zbl 0339.68004号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。