×
村上春树，Masaki

带有永久进程的程序的扁平保护Horn子句的声明性语义。 （英语） 兹比尔0702.68081

西奥。计算。科学。 75，编号1-267-83（1990）.
摘要：提出了一种基于Horn逻辑的并发编程语言（如Flat GHC）的声明性语义。介绍了输入/输出（I/O）历史域。程序模型定义为一组I/O历史。真理的概念被重新定义为目标子句和保护子句集。程序的语义被定义为程序的最大模型。我们还表明，语义被描述为从程序中获得的函数的最大不动点。包含由保护提交机制控制的永久计算的程序的属性可以使用语义进行讨论。

MSC公司：

68问题55 计算理论中的语义学
2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）
68T27型 人工智能中的逻辑
68甲15 程序设计语言理论
68T99型 人工智能

关键词：

并发;平行度;并发程序设计语言;喇叭逻辑

软件：

帕洛;GHC公司
PDF格式BibTeX公司 XML格式引用
\textit{M.村上春树}，Theor。计算。科学。75，编号1--2，67-83（1990；Zbl 0702.68081）
全文： 内政部

参考文献：

[1] Apt，K。；Van Emden，M.H.，《逻辑编程理论的贡献》，J.Assoc.Compute。机器。，29 (1982) ·Zbl 0483.68004号
[2] de Bakker，J.W。；Kok，J.N.，《并发Prolog比较语义中的统一抽象、原子性和收缩》，东京。东京，Proc。国际。第五代计算机系统大会，347-355（1988）
[3] 克拉克·K·L。；Gregory，S.，PARLOG:逻辑并行编程，ACM Trans。编程语言系统，86（1986）·Zbl 0592.68016号
[4] 法拉斯基，M。；列维·G。；Martelli，M。；Palamidessi，C.，《逻辑编程语言的更通用声明语义》（《技术报告》（1988年），比萨大学信息学院：意大利比萨大学信息化学院）·Zbl 0699.68113号
[5] 法拉斯基，M。；Levi，G.，一类委托选择逻辑语言的操作和不动点语义，（《技术报告》（1988），比萨大学信息学院：意大利比萨大学，信息学院）
[6] Gairman，H。；Maher，M.J。；Shapiro，E.，存在约束、反应行为和完全抽象的组合语义并发逻辑程序，Proc。北美逻辑编程会议（1989），即将出版
[7] 列维·G。；Palamidessi，C.，逻辑语言中同步的声明性语义的一种方法，Proc。国际。逻辑编程会议，87（1987）
[8] Levi，G.，《扁平保护喇叭条款的新声明语义》，ICOT技术报告，TR-345（1988）
[9] Lloyd，J.W.，《逻辑编程基础》（1984），《施普林格：施普林格柏林》·Zbl 0547.68005号
[10] Maher，M.J.，一类委托选择程序的逻辑语义，Proc。国际。逻辑编程会议，87（1987）
[11] Murakami，M.，《具有永久过程的并行逻辑程序的声明语义》，东京。东京，Proc。国际。第五代计算机系统大会（1988）
[12] Murakami，M.，基于故障/死锁集的并行逻辑程序的声明语义，ICOT技术备忘录，TM-602（1988）
[13] Park，D.，《程序属性的定点归纳和证明》，（机器智能，5（1969），爱丁堡大学出版社：爱丁堡学院出版社）·Zbl 0219.68007号
[14] Sakakibara，Y.，《逻辑程序中流并行性的不动点表征》，Proc。第二届日本JSSST大会（1985）
[15] Saraswat，V.A.，CP的部分正确语义[↓,|,&], （计算机科学讲稿，206（1985），施普林格：施普林格柏林）·Zbl 0592.68024号
[16] Saraswat，V.A.，《并发逻辑编程CP：定义和操作语义》，Proc。ACM交响乐团。程序设计语言原理（1987）
[17] Saraswat，V.A.，GHC：操作语义、问题和与CP的关系(↓,|), 旧金山。旧金山，IEEE国际。交响乐团。关于逻辑编程，347-358（1987）
[18] Saraswat，V.A.，并发约束编程语言（卡内基梅隆大学计算机科学系博士论文（1989））·Zbl 1002.68026号
[19] 夏皮罗，E.Y.，《并行序言：进展报告》（计算机科学讲稿，232（1986），施普林格：施普林格柏林）
[20] Shibayama，E.，《GHC的合成语义》，Proc。第四届JSSST大会（1987）
[21] Takeuchi，A.，《朝向GHC的语义模型》，IECE技术代表，COMP86-59（1986）
[22] 上田，K。；Furukawa，K.，《GHC项目的转型规则》，东京。东京，Proc。国际。第五代计算机系统会议，582-591（1988）
[23] K.Ueda，《护角条款》（麻省理工学院出版社，马萨诸塞州剑桥）即将出版。；K.Ueda，Guarded Horn Clauses（麻省理工学院出版社，马萨诸塞州剑桥）即将出版·Zbl 0771.68037号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。