彼得·尼纳尔托夫斯基 SCOOP的灵活访问控制策略。 (英语) Zbl 1184.68169号 正式Asp。计算。 21,第4期,347-362(2009). 引用于1文件 MSC公司: 68甲19 其他编程范式(面向对象、顺序、并发、自动等) 关键词:并发;面向对象程序设计;按合同设计;勺;附加的类型;锁定;回调 软件:CSSim公司;勺;艾菲尔 PDF格式BibTeX公司 XML格式引用 \textit{P.Nienaltowski},正式Asp。计算。21,第4号,347--362(2009;Zbl 1184.68169) 全文: 内政部 哈尔 参考文献: [1] Brooke PJ,Paige RF,Jacob JL(2007)埃菲尔铁杆的CSP模型。形式方面计算19(4):487–512·Zbl 1131.68034号 ·doi:10.1007/s00165-007-0033-8 [2] Caromel D(1993)面向对象并发编程方法。通信ACM 36(9):90–102·doi:10.145/162685.162711 [3] ECMA(2005)ECMA-367:埃菲尔分析、设计和编程语言。欧洲信息和通信系统标准化协会,2005年6月 [4] Fähndrich M,Leino KRM(2003)用面向对象语言声明和检查非空类型。内容:面向对象编程、系统、语言和应用(OOPSLA),第302-312页 [5] ISO(2006)ISO/IEC DIS 25436:埃菲尔分析、设计和编程语言。In:国际标准化组织,2006年6月 [6] Meyer B(1992)通过合同应用设计。IEEE计算25(10):40–51 [7] Meyer B(1997)面向对象软件构造第2版。新泽西州普伦蒂斯·霍尔 [8] Meyer B(2005)附加类型及其在面向对象编程三个开放问题中的应用。In:欧洲面向对象编程会议(ECOOP),第1-32页,2005年7月 [9] Nienaltowski P(2006)SCOOP中的灵活锁定。In:2006年7月在英国约克举行的类埃菲尔语言并发、实时和分发国际研讨会(CORDIE),第71–90页 [10] Nienaltowski P(2006)SCOOP的优化访问控制策略。技术报告511。苏黎世ETH计算机科学部,2006年2月·Zbl 1184.68169号 [11] Nienaltowski P(2007)基于契约的并发面向对象编程实用框架。博士论文,编号17061。苏黎世ETH计算机科学系(2007年) [12] Nienaltowski P、Meyer B、Ostroff JS(2008)《并发合同》。形式方面计算(待显示)·Zbl 1184.68170号 [13] Parkinson MJ(2005)Java的本地推理。英国剑桥大学计算机实验室博士论文 [14] Poetzsch-Heffter A,Müller P(1999)顺序Java的编程逻辑。LNCS,第1576卷,第162-176页 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。