×
毛里齐奥·加布里埃利;李维，乔治

并发约束逻辑程序的展开和定点语义。 （英语） Zbl 0757.68074号

西奥。计算。科学。 105，第1期，85-128（1992）.
我们为并发约束逻辑语言家族中的一种语言提出了一种新的语义。语义可以基于子句展开的概念，因为语言在这种转换下是封闭的。展开语义是作为无限展开过程的极限获得的。展开还用于定义直接后果操作符，因此，在典型的逻辑编程风格中定义不动点语义。展开和不动点语义的结果是一组反应行为，它们是抽象地表示程序所有可能计算的树，包括死锁和有限失败。
审核人：M.加布里埃利

引用于4文件

MSC公司：

68问题55 计算理论中的语义学
68N17号 逻辑编程
68T99型 人工智能

关键词：

反应树;并发约束逻辑语言;展开

软件：

GHC公司;帕洛
PDF格式BibTeX公司 XML格式引用
\textit{M.Gabbrielli}和\textit{G.Levi}，Theor。计算。科学。105，编号1，85-128（1992；Zbl 0757.68074）
全文： 内政部

参考文献：

[1] 巴赫加特，R。；Gregory，S.，《潘多拉：非确定性并行逻辑编程》，（Levi，G.；Martelli，M.，Proc.6th Internat.Conf.on logic programming（1989），麻省理工学院出版社：麻省理工学出版社Cambridge，MA），471-486
[2] Beckman，L.，《面向并发逻辑编程语言的形式语义》，（Shapiro，E.Y.，Proc.3rd Internat.Conf.on logic programming，Proc.3Ginat.Conf on logic编程，计算机科学讲义，第225卷（1986），Springer:Springer Berlin），335-349·Zbl 0595.68012号
[3] R.M.伯斯托尔。；Darlington，J.，开发递归程序的转换系统，J.ACM，24，1，44-67（1977）·Zbl 0343.68014号
[4] 克拉克·K·L。；Gregory，S.，PARLOG:逻辑并行编程，ACM Trans。编程语言和系统，8，1-49（1986）·Zbl 0592.68016号
[5] Curien，P.L.，分类组合子、序列算法和函数编程（1986），皮特曼：皮特曼伦敦·Zbl 0643.68004号
[6] de Bakker，J.W。；Kok，J.N.，并发Prolog比较语义中的统一抽象、原子性和收缩，（Proc.Internat.Conf.on Fifth Generation Computer Systems（1988），新一代计算机技术研究所：东京新一代计算技术研究所），347-355
[7] de Boer，F.S。；Kok，J.N。；帕拉米德斯，C。；Rutten，J.J.M.M.，《控制流与逻辑：保护Horn子句的指称和陈述模型》，（Kreczmar，a.；Mirkowska，G.，《计算机科学数学基础会议论文集》，《计算机学科数学基础会议文献集》，第379卷（1989），《施普林格：施普林格-柏林》），165-176年·Zbl 0755.68094号
[8] de Boer，F.S。；Kok，J.N。；帕拉米德斯，C。；Rutten，J.J.M.M.，《PARLOG版本的语义模型》，（Levi，G.；Martelli，M.，Proc.6th Internat.Conf.on Logic Programming（1989），麻省理工学院出版社：麻省理学院出版社Cambridge，MA），621-636
[9] de Boer，F.S。；Palamidessi，C.，《并发逻辑语言：异步性和语言比较》，（Debray，S.；Hermenegildo，M.，《北美逻辑编程会议议事录》，90年（1990年），麻省理工学院出版社：麻省理学院出版社剑桥），99-114
[10] de Boer，F.S。；Palamidessi，C.，《关于并发逻辑语言中通信的异步性：基于序列的完全抽象模型》（Baeten，J.C.M.；Klop，J.W.，Proc.of Concur 90）。程序。Concur 90，计算机科学讲义，第458卷（1990），Springer:Springer-Berlin），175-194
[11] 法拉斯基，M。；加布里埃利，M。；列维·G。；Murakami，M.，Nested guard Horn子句，国际。J.找到。计算。科学。，1, 3, 249-263 (1990) ·Zbl 0732.68027号
[12] 法拉斯基，M。；列维·G。；Martelli，M。；Palamidessi，C.，《逻辑语言的一种新的声明语义学》（Kowalski，R.A.；Bowen，K.A.，Proc.5th Internat.Conf.on logic Programming（1988），麻省理工学院出版社：麻省理学院出版社Cambridge，MA），993-1005
[13] 法拉斯基，M。；列维·G。；Martelli，M。；Palamidessi，C.，逻辑语言操作行为的声明性建模，Theoret。计算。科学。，69, 3, 289-318 (1989) ·Zbl 0699.68113号
[14] 法拉斯基，M。；列维·G。；Martelli，M。；Palamidessi，C.，逻辑程序操作语义的模型理论重建，（技术报告TR 32/89（1989），比萨大学信息学院），通知。和计算。，显示·Zbl 0699.68113号
[15] Fujita，H。；大村，A。；Furukawa，K.，基于带约束UR-set的GHC程序的部分评估，（Kowalski，R.A.；Bowen，K.A.，Proc.5th Internat.Conf.on Logic Programming（1988），麻省理工学院出版社：麻省理学院出版社Cambridge，MA），924-941
[16] Furukawa，K。；大村，A。；Murakami，M.，《GHC项目的展开规则》，新一代计算，6143-158（1988）·Zbl 0654.68104号
[17] 加布里埃利，M。；Levi，G.，并发约束程序的展开和不动点语义，（Kirchner，H.；Wechler，W.，Proc.2nd Internat.Conf.on Algebraic and Logic Programming。Proc.2rd Internat.Conf.on代数和逻辑编程，计算机科学讲义，第463卷（1990），Springer:Springer Berlin），204-216·Zbl 1493.68068号
[18] 加布里埃利，M。；Levi，G.，《约束逻辑程序中的答案约束建模》，（Furukawa，K.，Proc.8th Internat.Conf.on logic Programming（1991），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥），238-252
[19] 加布里埃利，M。；Levi，G.，询问和告知Herbrand约束的求解形式算法，（Abramsky，S.；Maibaum，T.，Proc.TAPSOFT'91。程序。TAPSOFT’91，计算机科学讲稿，第493卷（1991），施普林格：施普林格柏林），320-337·Zbl 0967.68506号
[20] 盖夫曼，H。；Maher，M.J。；Shapiro，E.Y.，并发约束逻辑程序的反应行为语义，（Lusk，E.；Overbeck，R.，Proc.North American Conf.on logic Programming’89（1989），MIT出版社：麻省理工学院出版社剑桥），553-572
[21] Gerth，R。；科迪什，M。；利希滕斯坦，Y。；夏皮罗，E.Y.，《并行Prolog的完全抽象指称语义》，（第三届IEE计算机科学逻辑研讨会（1988年），IEEE计算机学会出版社：IEEE计算机协会出版社，马里兰州银泉出版社），320-335
[22] Gregory，S.，《PARLOG中的并行逻辑编程：语言及其实现》（1987），Addison-Wesley：Addison-Whesley Reading，MA
[23] Haridi，S。；Brand，P.，《安道尔Prolog:Prolog与承诺选择语言的整合》，（第五代计算机系统国际会议（1988），新一代计算机技术研究所：新一代计算技术研究所，东京），745-754
[24] Jaffar，J。；Lassez，J.-L.，约束逻辑编程（技术报告（1986），莫纳什大学计算机科学系）·Zbl 0900.68127号
[25] Jaffar，J。；Lassez，J.-L.，约束逻辑编程（Proc.14th Ann.ACM Symp.on Principles of programming Languages（1987），ACM:ACM New York），111-119
[26] 克里格，S。；Yardeni，E。；Kahn，K。；夏皮罗，E.Y.，语言FCP（：，？），（第五代计算机系统国际会议（1988），新一代计算机技术研究所：东京新一代计算技术研究所），763-773
[27] 拉塞兹，J.-L。；Maher，M.J。；Marriott，K.，《重新审视统一》（Minker，J.，演绎数据库和逻辑编程基础（1988），Morgan Kaufmann：Morgan Koufmann-Los Altos，CA），587-625·Zbl 0645.68046号
[28] Levi，G.，《模型、展开规则和不动点语义》，（Kowalski，R.A.；Bowen，K.A.，《逻辑编程第五届Inernat.Conf.》（1988年），麻省理工学院出版社：麻省理学院出版社剑桥，1649-1665年）
[29] 列维·G。；Mancarella，P.，《逻辑程序的展开语义》（技术报告TR-13/88（1988），比萨大学信息学院）
[30] 列维·G。；Palamidessi，C.，《逻辑只读变量的声明性语义》，（IEEE逻辑编程研讨会（1985），IEEE计算机学会出版社：IEEE计算机协会出版社，马里兰州银泉出版社），128-137
[31] 列维·G。；Palamidessi，C.，《逻辑语言中同步的声明性语义方法》（Lassez，J.-L.，Proc.4th Internat.Conf.on logic Programming，1987），麻省理工学院出版社：麻省理学院出版社剑桥，马萨诸塞州），877-893
[32] Maher，M.J.，《一类委托选择程序的逻辑语义》（Lassez，J.-L.，Proc.4th Internat.Conf.on Logic Programming，1987），麻省理工学院出版社：麻省理工大剑桥出版社，858-876
[33] Milner，R.，《同步与异步演算》，Theoret。计算。科学。，25, 267-310 (1983) ·Zbl 0512.68026号
[34] Milner，R.，通信系统微积分讲座，（Brookes，S.；Roscoe，a.；Winskell，G.，并发研讨会。并发研讨会，计算机科学讲稿，第197卷（1984），Springer:Springer Berlin），197-220·Zbl 0609.68020号
[35] Murakami，M.，《具有永久过程的并行逻辑程序的声明语义》（Proc.Internat.Conf.on Fifth Generation Computer Systems（1988），新一代计算机技术研究所：新一代计算技术研究所，东京），374-381
[36] Plotkin，G.，《操作语义的结构化方法》（《DAIMI FN-19技术报告》（1981年），奥胡斯大学计算机科学系）
[37] Saraswat，V.A.，CP的部分正确性语义（Ø，|，&），（《软件计算和理论计算机科学基础汇编》，《软件计算与理论计算机科学基本汇编》，计算机科学讲稿，第206卷（1985），施普林格：施普林格柏林），347-368·Zbl 0592.68024号
[38] Saraswat，V.A.，GHC：操作语义、问题和与CP的关系(↓,|), （IEEE国际逻辑编程研讨会（1987），IEEE:IEEE纽约），347-358
[39] Saraswat，V.A.，《CLP同步原语的某种逻辑公式》，（Kowalski，R.A.；Bowen，K.A.，《逻辑编程第五届国际会议论文集》（1988年），麻省理工学院出版社：麻省理学院出版社剑桥，马萨诸塞州），1298-1314
[40] Saraswat，V.A.，并发约束编程语言（卡内基梅隆大学博士论文（1989））·Zbl 1002.68026号
[41] 萨拉斯瓦特，V.A。；Rinard，M.，并发约束编程（Proc.17 Ann.ACM Symp.on Principles of programming Languages（1990），ACM:ACM New York），232-245
[42] 夏皮罗，E.Y.，《并行Prolog:进度报告》，《计算》。J.，19，8，44-58（1986）
[43] Shapiro，E.Y.，并发逻辑编程语言家族，ACM Comput。调查，21，3，412-510（1989）
[44] Tamaki，H。；Sato，T.，逻辑程序的展开/折叠变换，（Tärnlund，Sten-Åke，Proc.2nd Internal.Conf.on logic Programming（1984）），127-139
[45] Ueda，K.，Guarded Horn子句，（夏皮罗，E.Y.，并发序言：论文集，第1卷（1987年），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥），140-156·Zbl 0771.68037号
[46] 上田，K。；Furukawa，K.，《GHC程序的转换规则》（Proc.Internat.Conf.on Fifth Generation Computer Systems（1988），新一代计算机技术研究所：东京新一代计算技术研究所），582-591
[47] van Emden，M.H。；Kowalski，R.A.，谓词逻辑作为编程语言的语义，美国计算机学会，23，4733-742（1976）·Zbl 0339.68004号
[48] Yang，R。；Aiso，H.，P-Prolog:一种基于排他关系的并行语言，（Shapiro，E.Y.，Proc.3rd Internat.Conf.on Logic Programming（1986），Springer:Springer Berlin），255-269·Zbl 0595.68010号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。