×
你好，托尼

编程法则的通用模型。 （英语） Zbl 1390.68182号

刘志明（主编）等，《程序设计理论与形式化方法》。纪念何继峰70岁生日的散文。柏林：施普林格出版社（ISBN 978-3-642-39697-7/pbk）。计算机科学课堂讲稿8051，213-226（2013）。
摘要：编程定律是关于计算机程序的平等性和顺序的判断的集合。法律模型是程序执行的数学描述，该模型已被证明满足法律要求。泛型模型是指具有参数的模型，这些参数可以根据一系列不同编程语言及其不同实现和不同应用程序的属性进行调整。这样，通用模型就成为统一编程理论的基础。
关于整个系列，请参见[Zbl 1269.68023号].

引用于1文件

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）
PDF格式BibTeX公司 XML格式引用
\textit{T.霍尔}，莱克特。注释计算。科学。8051、213--226（2013；Zbl 1390.68182）
全文： 内政部

参考文献：

[1] Roscoe，A.W.：《occam编程法则》，Tech Mon PRG-53。牛津大学（1986）
[2] 塔斯基，A.：《关系演算》。符号逻辑6（3），73-89（1941）·doi:10.2307/2268577
[3] Hoare，T.：统一并发编程语义（2013年出版）·兹比尔1264.68042
[4] Brookes，S.D.，Hoare，C.A.R.，Roscoe，A.W.：沟通顺序过程理论。JACM 31560-599（1984）·Zbl 0628.68025号 ·doi:10.1145/828.833
[5] Dijkstra，E.W.：编程学科。普伦蒂斯·霍尔（Prentice Hall），恩格尔伍德悬崖（Englewood Cliffs）（1976年）·Zbl 0368.68005号
[6] Pratt，V.：并行处理的Pomset模型：统一时间和空间。斯坦福大学，STAN-CS-85-1049（1985年1月）·Zbl 0589.68025号
[7] Hoare，C.A.R.：计算机编程的公理基础。通信ACM 12（10），576–580（1969）·Zbl 0179.23105号 ·doi:10.1145/363235.363259
[8] 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.：编程定律。通信ACM 30（8），672–687（1987）·Zbl 0629.68006号 ·doi:10.1145/27651.27653
[9] Hoare，C.A.R.，He，J.：统一编程理论。普伦蒂斯·霍尔（1998）·Zbl 1005.68036号
[10] O'Hearn，P.W.：资源、并发性和局部推理。收录：Gardner，P.，Yoshida，N.（编辑）CONCUR 2004。LNCS，第3170卷，第49-67页。斯普林格，海德堡（2004）·Zbl 1099.68588号 ·doi:10.1007/978-3-540-28644-84
[11] 普洛金，G.D.：操作语义学的结构方法。奥胡斯大学计算机科学系DAIMI FN-16（1981）
[12] Milner，R.：通信系统微积分。LNCS，第92卷。斯普林格，海德堡（1980）·Zbl 0452.68027号 ·doi:10.1007/3-540-10235-3
[13] Hennessy，M.：过程代数理论。麻省理工学院出版社（1988）·Zbl 0744.68047号
[14] Baeten，J.C.M.，Basten，T.，Reniers，M.A.：过程代数：交流过程的等式理论。剑桥大学出版社（2010）·Zbl 1234.68001号
[15] Wehrman，I.，Hoare，C.A.R.，O'Hearn，P.：分离逻辑的图形模型。IPL 109（17），1001–1004（2009）·Zbl 1200.68153号 ·doi:10.1016/j.ipl.2009.06.003
[16] Hoare，T.，Wickerson，J.：统一数据流模型。《软件和系统安全》，第211–230页。IOS出版社（2011）
[17] 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
[18] Hoare，T.，Moeller，B.，Struth，G.，Wehrman，I.：并发Kleene代数及其基础。J.日志。阿尔盖布。程序。80（6），266–296（2011年）·Zbl 1278.68176号 ·doi:10.1016/j.jlap.2011.04.005
[19] 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
[20] van Staden，S.，Hoare，T.：代数统一了运算微积分。收录：Wolff，B.，Gaudel，M.-C.，Feliachi，A.（编辑）UTP 2012。LNCS，第7681卷，第88–104页。斯普林格，海德堡（2013）·Zbl 1452.68056号 ·doi:10.1007/978-3-642-35705-34
[21] Back，R.-J.，von Wright，J.：精化微积分。斯普林格计算机科学研究生文凭（1998）·Zbl 0949.68094号 ·doi:10.1007/978-1-4612-1674-2
[22] Morgan，C.：规范编程。普伦蒂斯·霍尔国际（1990）·Zbl 0697.68018号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。