×
美国，皮埃尔;法兰克·德波尔

关于动态演变过程结构的推理。 （英语） Zbl 0821.68106号

正式Asp。计算。 6，第3号，269-316（1994）.

引用于4文件

MSC公司：

68吨15 定理证明（演绎、解析等）（MSC2010）
68T27型 人工智能中的逻辑
2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）

关键词：

Hoare式防护系统;推理

软件：

Smalltalk公司;艾菲尔
PDF格式BibTeX公司 XML格式引用
\textit｛P.America｝和\textit｛F.de Boer｝，正式Asp。计算。6，编号3，269--316（1994；Zbl 0821.68106）
全文： 内政部

参考文献：

[1] 美国，P.H.M：并行面向对象语言设计中的问题。计算的形式方面，1366-411（1989）·Zbl 0694.68012号 ·doi:10.1007/BF01887214
[2] America，P.H.M.，de Bakker，J.W.，Kok，J.N.和Rutten，J.J.M.M.：平行面向对象语言的操作语义。第十三届编程语言原理研讨会会议记录，佛罗里达州圣彼得堡，第194-208页，1986年·Zbl 0695.68058号
[3] Apt，K.R.，Francez，N.和de Roever，W.P.：通信顺序过程的证明系统。美国计算机学会程序设计语言与系统汇刊，2359-385（1980）·Zbl 0468.68023号 ·doi:10.1145/357103.357110
[4] Apt，K.R.：逻辑何以存在的十年：一项调查？第一部分：《美国计算机学会编程语言与系统汇刊》，3431-483（1981）·Zbl 0471.68006号 ·数字对象标识代码：10.1145/357146.357150
[5] Apt，K.R.：通信顺序过程证明系统的形式化证明。ACM杂志，30，197-216（1983）·Zbl 0503.68021号 ·数字对象标识代码：10.1145/322358.322372
[6] de Bakker，J.W.：程序正确性的数学理论。普伦蒂斯·霍尔国际，1980年·Zbl 0452.68011号
[7] Goldberg，A.和Robson，D.：Smalltalk-80，语言及其实现。艾迪森·韦斯利，1984年·Zbl 0518.68001号
[8] Hoare，C.A.R.：计算机编程的公理基础。ACM通讯，12567-580583（1969年）·Zbl 0179.23105号 ·doi:10.1145/363235.363259
[9] Hoare，C.A.R.：通信顺序过程。ACM通讯，21666-677（1978）·Zbl 0383.68028号 ·doi:10.1145/359576.359585
[10] Hooman，J.和de Roever，W.P.：继续探索：面向CSP的合成证明系统。J.W.de Bakker，W.P.de Roever，G.Rozenberg（编辑）：并发性的当前趋势，Springer LNCS 224，第343-395页，1986年。
[11] Meldal，S.：Ada中访问类型任务的公理语义。挪威奥斯陆大学信息学研究所第100号报告，1986年5月。显示为？完整的产卵公理语义，？分布式计算，3159-174（1991）·兹比尔0731.68076
[12] Meyer，B.：面向对象的软件构造。普伦蒂斯·霍尔，1988年·Zbl 0719.68012号
[13] Tucker，J.V.和Zucker，J.I.：抽象数据类型的程序正确性，以及错误状态语义。CWI专著6，北荷兰，1988年·Zbl 0641.68028号
[14] Zwiers，J.、de Roever，W.P.和van Emde Boas，P.：组成性和并发网络：证明系统的可靠性和完整性。《第十二届ICALP会议记录》，希腊纳夫普利，斯普林格LNCS 194，第509-519页，1985年·Zbl 0566.68014号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。