×
你好，托尼

统一并发编程的语义。 （英语） Zbl 1264.68042号

Coecke，Bob（编辑）等人，《计算、逻辑、游戏和量子基础》。萨姆森·阿布拉姆斯基的许多方面。纪念萨姆森·阿布拉姆斯基60岁生日的文章。柏林：施普林格出版社（ISBN 978-3-642-38163-8/pbk）。计算机科学课堂讲稿7860139-149（2013）。
概述：表示编程语言语义的四种著名方法是：指称、演绎、运算和代数。本文提出了一类命令式程序设计语言的结构特征的代数定律，该语言提供顺序和并发组合；并说明了这些规律与同一语言的其他三种语义表示的一致性。本文通过推迟考虑特定编程语言可能更复杂的基本命令，将简单性与通用性结合起来。这些证明只是作为提示给出的，但即使在机器的帮助下，它们也很容易重建。
关于整个系列，请参见[Zbl 1263.68015号].

引用于三文件

MSC公司：

68甲15 编程语言理论
68甲19 其他编程范例（面向对象、顺序、并发、自动等）
68问题55 计算理论中的语义学
PDF格式BibTeX公司 XML格式引用
\textit{T.霍尔}，莱克特。注释计算。科学。7860、139--149（2013年；Zbl 1264.68042）
全文： 内政部

参考文献：

[1] Stoy，J.E.：指称语义学：编程语言理论的Scott-Strachey方法。麻省理工学院出版社（1977）·Zbl 0503.68059号
[2] Hoare，C.A.R.：计算机编程的公理基础。ACM通信12（10），576–580（1969）·Zbl 0179.23105号 ·doi:10.1145/363235.363259
[3] O'Hearn，P.W.：资源、并发和局部推理。收录：Gardner，P.，Yoshida，N.（编辑）CONCUR 2004。LNCS，第3170卷，第49-67页。斯普林格，海德堡（2004）·1099.68588兹比尔 ·doi:10.1007/978-3-540-28644-84
[4] Plotkin，G.D.：操作语义的结构方法。奥胡斯大学DAIMI FN-19技术报告（1981年）
[5] Milner，R.：通信系统微积分。LNCS，第92卷。斯普林格，海德堡（1980）·Zbl 0452.68027号 ·doi:10.1007/3-540-10235-3
[6] Hennessy，M.：过程代数理论。麻省理工学院出版社（1988）·Zbl 0744.68047号
[7] Baeten，J.，Basten，T.，Reniers，M.A.：过程代数：交流过程的等式理论。《剑桥理论计算机科学导论》，第50卷。剑桥大学出版社（2009）·Zbl 1234.68001号 ·doi:10.1017/CBO9781139195003
[8] Dijkstra，E.W.：编程学科。普伦蒂斯·霍尔（Prentice Hall），恩格尔伍德悬崖（Englewood Cliffs）（1976年）·Zbl 0368.68005号
[9] Back，R.J.，Wright，J.：精化微积分：系统介绍。施普林格（1998）·Zbl 0949.68094号 ·doi:10.1007/978-1-4612-1674-2
[10] Morgan，C.：规范编程。Prentice-Hall公司（1990年）·Zbl 0697.68018号
[11] Pratt，V.R.：动作逻辑和纯归纳法。收录：van Eijck，J.（编辑）JELIA 1990。LNCS，第478卷，第97-120页。斯普林格，海德堡（1991）·Zbl 0814.03024号 ·doi:10.1007/BFb0018436
[12] Hoare，C.A.R.，Hayes，I.J.，He，J.，Morgan，C.，Roscoe，A.W.，Sanders，J.W.，Sörensen，I.H.，Spivey，J.M.，Sufrin，B.：编程法则。Commun公司。ACM 30（8），672–686（1987）·Zbl 0629.68006号 ·数字对象标识代码：10.1145/27651.27653
[13] Hoare，C.A.R.，Jifeng，H.：统一编程理论。普伦蒂斯·霍尔（1998）·Zbl 1005.68036号
[14] Wehrman，I.，Hoare，C.A.R.，O'Hearn，P.W.：分离逻辑的图形模型。信息处理。莱特。109（17）、1001–1004（2009）·Zbl 1200.68153号 ·doi:10.1016/j.ipl.2009.06.003
[15] Hoare，T.，Wickerson，J.：统一数据流模型。In:软件和系统安全-规范和验证，第211–230页（2011）
[16] Hoare，C.A.R.，Hussain，A.，Möller，B.，O'Hearn，P.W.，Petersen，R.L.，Struth，G.：关于并行过程的局部性和交换定律。收录：Katoen，J.-P.，König，B.（编辑）CONCUR 2011。LNCS，第6901卷，第250-264页。斯普林格，海德堡（2011）·Zbl 1343.68170号 ·doi:10.1007/978-3-642-23217-617
[17] Hoare，T.，Möller，B.，Struth，G.，Wehrman，I.：并发Kleene代数及其基础。J.日志。阿尔盖布。程序。80（6），266–296（2011年）·Zbl 1278.68176号 ·doi:10.1016/j.jlap.2011.04.005
[18] Hoare，T.，van Staden，S.：编程法则统一了过程计算。摘自：Gibbons，J.，Nogueira，P.（编辑）MPC 2012。LNCS，第7342卷，第7-22页。斯普林格，海德堡（2012）·Zbl 1358.68064号 ·doi:10.1007/978-3642-31113-02
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。