美国，皮埃尔 并行面向对象语言设计中的问题。 （英语） Zbl 0694.68012号 形式方面计算。 1，第4号，366-411（1989）。 引用于18文件 MSC公司： 68号01 软件理论的一般主题 68N99型 软件理论 68N25号 操作系统理论 关键词：程序设计语言设计;面向对象程序设计;平行度 软件：艾菲尔;游泳池;Smalltalk公司;Modula公司;米兰达;阿达95;CLOS公司;模拟67 PDF格式BibTeX公司 XML格式引用 \textit{P.America}，正式Asp。计算。1，编号4366-411（1989年；Zbl 0694.68012） 全文： 内政部 参考文献： [1] Agha，G.：参与者：分布式系统中的并发计算模型。麻省理工学院出版社，1986年。 [2] Allen，R.、Callahan，D.和Kennedy，K.：用于并行执行的科学程序的自动分解。InProc.公司。第14届POPL，西德慕尼黑，1987年1月21日至23日，第63-76页。 [3] 美国，P.：POOL-S草图，POOL1的简化版本。ESPRIT项目415文件27，荷兰埃因霍温飞利浦研究实验室，1985年2月。 [4] 美国，P.：编程语言POOL-T.ESPRIT项目415文件91，飞利浦研究实验室，荷兰埃因霍温，1985年9月。 [5] 美国，P.：POOL连续版本的证明理论。ESPRIT项目415文件188，荷兰埃因霍温飞利浦研究实验室，1986年10月·Zbl 1022.68502号 [6] America，P.：并行面向对象语言中的继承和子类型。ECOOP’87：欧洲面向对象编程会议，1987年6月15日至17日，法国巴黎，第234至242页，计算机科学讲义276，Springer-Verlag。 [7] America，P.：POOL-T——一种面向对象的并行语言。面向对象并发编程，Yonezawa和Tokoro（eds），199-220页，麻省理工出版社，1987年。 [8] America，P.：POOL2的定义，一种面向对象的并行语言。ESPRIT项目415文件364，荷兰埃因霍温飞利浦研究实验室，1988年4月。 [9] 美国，P.：POOL2标准等级。ESPRIT项目415文件365，荷兰埃因霍温飞利浦研究实验室，1988年4月。 [10] 美国，P.：POOL2的标准单位。ESPRIT项目415文件366，荷兰埃因霍温飞利浦研究实验室，1988年4月。 [11] 美国，P.：POOL2设计原理。ESPRIT项目415文件393，荷兰恩多芬飞利浦研究实验室，1988年5月。 [12] America，P.：面向对象编程语言中子类型的行为方法。1989年2月6日至8日，意大利维亚雷吉奥，知识表示和编程语言的继承层次研讨会。还发表于《飞利浦研究杂志》，44（2/3），365-383，（1989）·Zbl 0681.68010号 [13] America，P.和de Bakker，J.：为流程创建设计等效语义模型。理论计算机科学，60（2），109-176，（1988）·Zbl 0652.68029号 ·doi:10.1016/0304-3975（88）90048-5 [14] America，P.和de Boer，F.：具有动态过程创建的并行语言的证明系统。ESPRIT项目415文件445，荷兰埃因霍温飞利浦研究实验室，1988年10月。 [15] America，P.和de Boer，F.：POOL顺序版本的证明理论。技术报告，数学和计算机科学中心，荷兰阿姆斯特丹，1989年。出现。 [16] America，P.和Rutten，J.：在一类完备度量空间中求解自反域方程。《编程语言语义学的数学基础》，M.Main、A.Melton、M.Mislove和D.Schmidt，（编辑），第254–288页，《计算机科学讲义》298，Springer Verlag，1988年。出现在《计算机与系统科学杂志》上·Zbl 0664.18002号 [17] America，P.，de Bakker，J.，Kok，J.N.和Rutten，J.：并行面向对象语言的操作语义。第13届程序设计语言原理研讨会会议记录，1986年1月13-15日，佛罗里达州圣彼得堡，第194-208页·Zbl 0695.68058号 [18] America，P.，de Bakker，J.，Kok，J.N.和Rutten，J.：平行面向对象语言的指称语义。报告CS-R8626，荷兰阿姆斯特丹数学和计算机科学中心，1986年8月。出现在信息和计算中·Zbl 0695.68058号 [19] Andrews，G.R.和Schneider，F.B.：并发编程的概念和符号。ACM计算调查，15（1），3–43（1983）·Zbl 0515.68025号 ·数字对象标识代码：10.1145/356901.356903 [20] ANSI：编程语言Ada参考手册，ANSI/MIL-STD-1815A-1983年2月17日批准。计算机科学讲座笔记155，斯普林格·弗拉格，1983年·Zbl 0513.68005号 [21] Apt，K.R.：《Hoare Logic:a Survey-Part I.ACM Transactions on Programming Languages and Systems》，3（4），431-483（1981）·Zbl 0471.68006号 ·数字对象标识代码：10.1145/357146.357150 [22] Apt，K.R.，Francez，N.和de Roever，W.P.：通信顺序过程的证明系统。美国计算机学会程序设计语言与系统汇刊，2（3），359–385（1980）·Zbl 0468.68023号 ·doi:10.1145/357103.357110 [23] 巴克斯，J.：编程能从冯·诺依曼风格中解放出来吗函数风格及其程序代数。ACM通信，21（8），613–641（1978）·Zbl 0383.68013号 ·doi:10.1145/359576.359579 [24] Baeten，J.C.M.、Bergstra，J.A.和Klop，J.W.：关于库门公平抽象规则的一致性。理论计算机科学，51（1,2），129-176（1987）·Zbl 0621.68010号 ·doi:10.1016/0304-3975（87）90052-1 [25] de Bakker，J.W.和Zucker，J.I.：并发的过程和指称语义。信息与控制，54，70–120（1982）·Zbl 0508.68011号 ·doi:10.1016/S0019-9958（82）91250-5 [26] Bergstra，J.A.和Klop，J.W.：同步通信的过程代数。信息与控制，60，109–137（1984）·Zbl 0597.68027号 ·doi:10.1016/S0019-9958（84）80025-X [27] Bergstra，J.A.和Klop，J.W.：用抽象沟通过程的代数。理论计算机科学，37（1），77-121（1985）·Zbl 0579.68016号 ·doi:10.1016/0304-3975（85）90088-X [28] Bergstra，J.A.、Klop，J.W.和Olderog，E.-R.：没有混乱的失败：公平抽象的新过程语义学。编程概念的正式描述III——第三届IFIP WG 2.2工作会议记录，M.Wirsing，（编辑），Gl.Avernaes，Ebberup，丹麦，1986年8月25-28日，第77-102页，北荷兰。 [29] Bergstra，J.A.、Klop，J.W.和Tucker，J.V.：具有异步通信机制的过程代数。报告CS-R8410，荷兰阿姆斯特丹数学和计算机科学中心，1984年·Zbl 0579.68015号 [30] Black，A.、Hutchinson，N.、Jul，E.、Levy，H.和Carter，L.：翡翠中的分布和抽象类型。IEEE软件工程学报，SE-13（1），65-76（1987）。 ·doi:10.1109/TSE.1987.232836 [31] Bobrow，D.G.、DeMichiel，L.G.、Gabriel，R.P.、Keene，S.、Kiczales，G.和Moon，D.A.：通用Lisp对象系统规范。文件88-003，X3J13标准委员会（ANSI Common Lisp），1988年6月。 [32] de Boer，F.S.：过程创建的证明规则。编程概念的正式描述III-第三届IFIP工作组2.2工作会议记录，M.Wirsing（编辑），Gl.Avernaes，Ebberup，Denmark，1986年8月25-28日，第23-50页，North-Holland。 [33] BSI：计算机程序设计语言Pascal规范。标准BS 6192，英国标准协会，英国赫茨，1982年。 [34] Cardelli，L.：多重继承的语义学。信息与计算，76138-164（1988）·Zbl 0651.68017号 ·doi:10.1016/0890-5401（88）90007-7 [35] 克林格，W.D.：演员语义学基础。技术报告633，麻省理工学院人工智能实验室，1981年5月。 [36] Cox，B.J.：面向对象编程。艾迪森·韦斯利，1986年。 [37] Dahl，O.-J.和Nygaard，K.：Simula:一种基于ALGOL的仿真语言。ACM通信，9（9），671-678（1966）·Zbl 0139.32903号 ·数字对象标识代码：10.1145/365813.365819 [38] Damm，W.和Döhmen，G.：POOL-Machine:分布式面向对象机器的顶级规范。1986年10月3日，西德亚琛亚琛RWTH亚琛Lehrstuhl für Informatik，ESPRIT项目415文件1。 [39] Damm，W.、Döhmen，G.和den Haan，P.：使用AADL指定分布式计算机体系结构：案例研究。语义和证明技术工作组可交付成果3，J.W.de Bakker（编辑），第1.4章，ESPRIT项目4151987年10月。 [40] Dugundji，J.：拓扑。Allyn和Bacon，马萨诸塞州波士顿，1966年。 [41] Engelking，R.：一般拓扑。波兰科学出版社，1977年·Zbl 0373.54002号 [42] Feldmann，J.A.、Fanty，M.A.、Goddard，N.H.和Lyne，K.J.：结构化连接网络的计算。ACM通讯，170-187（1988）。 [43] Francez，N.和Yemini，S.A.：对称任务间通信。美国计算机学会程序设计语言与系统汇刊，7（4），622-636（1985）·Zbl 0575.68024号 ·doi:10.11145/4472.4475 [44] Gerth，R.和de Roever，W.P.：并行Ada程序的证明系统。计算机程序设计科学，4（2），159-204（1984）·Zbl 0536.68009号 ·doi:10.1016/0167-6423（84）90018-2 [45] Goldberg，A.和Robson，D.：Smalltalk-80，语言及其实现。艾迪森·韦斯利，1983年·Zbl 0518.68001号 [46] Gordon，M.J.C.：《程序设计语言的外延描述：导论》。Springer-Verlag，1979年·Zbl 0412.68004号 [47] Halbert，D.C.和O'Brien，P.D.：在面向对象编程中使用类型和继承。IEEE软件，71–79（1987）。 [48] Hennessy M.和Plotkin，G.：简单并行编程语言的完整抽象。程序。第八届计算机科学数学基础研讨会，J.Bečvář，（编辑），1979年，第108–120页，《计算机科学讲义》74，Springer-Verlag·Zbl 0457.68006号 [49] Hewitt，C.：将控制结构视为传递消息的模式。人工智能，8323-364（1977）。 ·doi:10.1016/0004-3702（77）90033-9 [50] 西德州希利斯：连接机器。M.I.T.出版社，1985年。 [51] Hoare，C.A.R.：计算机编程的公理基础。ACM通讯，12（10），576–580，583（1969）·Zbl 0179.23105号 ·doi:10.1145/363235.363259 [52] Hoare，C.A.R.：通信顺序过程。ACM通讯，21（8），666–677（1978）·Zbl 0383.68028号 ·doi:10.1145/359576.359585 [53] Janssens，D.和Rozenberg，G.：演员语法的基本概念：演员计算的图形语法模型。《图形语法及其在计算机科学中的应用》，H.Ehrig、M.Nagl、G.Rozenberg和A.Rosenfeld主编，第280-298页，《计算机科学讲义》291，Springer-Verlag，1987年。 [54] Kennedy，K.：《FORTRAN程序到向量形式的自动翻译》，《技术报告476-029-4》，莱斯大学，1980年10月。 [55] Kok，J.N.和Rutten，J.J.M.M.：比较并发语义的收缩。报告CS-R8755，荷兰阿姆斯特丹数学和计算机科学中心，1987年11月·Zbl 0649.68011号 [56] Kowalski，R.问题解决逻辑。北荷兰，1979年·Zbl 0426.68002号 [57] Koymans，R.、Vytopil，J.和de Roever，W.P.：实时编程和异步消息传递。程序。第二届ACM分布式计算原理年度研讨会，加拿大蒙特利尔，1983年8月。 [58] Lang，C.R.，Jr.：面向对象语言对同构并发体系结构的扩展。1982年5月，加利福尼亚州帕萨迪纳市加利福尼亚理工学院计算机科学系博士论文。技术报告5014:TR:82。 [59] Leih，G.：演员图Grammars和POOL2。PRISMA项目文件265，莱顿大学计算机科学系，1988年2月。 [60] 利伯曼，H.：第一幕预告。A.I.Memo 625，麻省理工学院人工智能实验室，1981年6月。 [61] Liskov，B.、Atkinson，R.、Bloom，T.、Moss，E.、Schaffert，J.C.、Scheifler，R和Snyder，A.：CLV参考手册。计算机科学课堂讲稿114，施普林格-弗拉格出版社，1981年。 [62] Meyer，B.：包装设计原理。ACM通信，25（7），419–428（1982）。 ·doi:10.1145/358557.358565 [63] Meyer，B.：《埃菲尔：可重用性和可扩展性编程》。ACM SIGPLAN通知，22（2），85–99（1987）。 ·数字对象标识代码：10.1145/24686.24694 [64] Meyer，B.：面向对象的软件构造。普伦蒂斯·霍尔，1988年·Zbl 0719.68012号 [65] Moss，J.E.B.和Kohler，W.H.：网格/猫头鹰语言的并发特征。ECOOP’87：欧洲面向对象编程会议，1987年6月15日至17日，法国巴黎，171–180，计算机科学讲义276，Springer-Verlag。 [66] Odijk，E.A.M.：DOOM系统及其应用：ESPRIT 415子项目A.Proc调查。巴黎：欧洲并行体系结构和语言。第一卷：并行体系结构，J.W.de Bakker、A.J.Nijman和P.C.Trelevan，（编辑），荷兰埃因霍温，1987年6月15日至19日，461–479，计算机科学课堂讲稿258，斯普林格·弗拉格。 [67] Owicki，S.和Gries，D.：并行程序的公理证明技术I.信息学报，6319-3401976·doi:10.1007/BF00268134 [68] Plotkin，G.D.：电力领域建设。SIAM计算机杂志，5（3），452-487（1976）·Zbl 0355.68015号 ·数字对象标识代码：10.1137/0205035 [69] Plotkin，G.D.：操作语义学的结构方法。1981年9月，丹麦奥胡斯市奥胡斯大学计算机科学系DAIMI FN-19报告。 [70] Plotkin，G.D.：CSP的操作语义。D.Björner（编辑），《编程概念的形式化描述II》，第199-223页，北荷兰，1983年·Zbl 0512.68012号 [71] Rutten，J.：并行面向对象语言的语义正确性。报告CS-R8843，数学和计算机科学中心，荷兰阿姆斯特丹，1988年10月。出现在SIAM计算机杂志上·Zbl 0697.68077号 [72] Schaffert，C.、Cooper，T.、Bullis，B.、Kilian，M.和Wilpolt，C.：《格子/猫头鹰简介》。程序。ACM面向对象编程、系统、语言和应用会议，俄勒冈州波特兰，1986年9月，第9-16页。 [73] Schaffert，C.、Cooper，T.和Wilpolt，C.：网格对象环境——语言参考手册。技术报告DEC-TR-372，数字设备公司，东部研究实验室，马萨诸塞州哈德逊，1985年11月25日。 [74] Seitz，C.L.：宇宙立方体。ACM通讯，28（1），22-33（1985）。 ·数字对象标识代码：10.1145/2465.2467 [75] Shaw，M.（编辑）：阿尔法：形式和内容。斯普林格·弗拉格，1981年·Zbl 0477.68012号 [76] Smith，A.J.：缓存内存。ACM计算调查，14（3），473–530（1982）。 ·数字对象标识代码：10.1145/356887.356892 [77] Smyth，M.B.：权力领域。《计算机与系统科学杂志》，16，23–36（1978）·Zbl 0391.68011号 ·doi:10.1016/0022-0000（78）90048-X [78] Theriault，D.G.：第二幕设计和实施中的问题。《技术报告728》，麻省理工学院人工智能实验室，1983年6月。 [79] Treleaven，P.C.、Brownbridge，D.R.和Hopkins，R.P.：数据驱动和需求驱动的计算机体系结构。ACM计算调查，14（1），93–143（1982）。 ·数字对象标识代码：10.1145/356869.356873 [80] 特纳，D.A.：米兰达：一种具有多态类型的非标准功能语言。《函数编程语言与计算机体系结构》，J.-P.Jouannaud（编辑），第1-16页，《计算机科学讲义201》，Springer-Verlag出版社，1985年。 [81] Tucker，J.V.和Zucker，J.I.：抽象数据类型的程序正确性，以及错误状态语义。CWI专著6，北荷兰，1988年·Zbl 0641.68028号 [82] Vaandrager，F.W.：POOL的过程代数语义。报告CS-R8629，荷兰阿姆斯特丹数学和计算机科学中心，1986年8月。 [83] Wirth，N.：模块-2编程。斯普林格·弗拉格，1982年·Zbl 0487.68004号 [84] Wouters，R.：POOL的通用选择语句。ESPRIT项目415文件430，荷兰埃因霍温飞利浦研究实验室，1988年8月。 [85] Zwiers，J.、de Roever，W.P.和van Emde Boas，P.：合成性和并发网络：证明系统的健全性和完整性。程序。第十二届国际自动化、语言和编程学术讨论会（ICALP），希腊纳夫普利，1985年7月15日至19日，第509–519页，《194年计算机科学讲稿》，斯普林格·弗拉格出版社·Zbl 0566.68014号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。