×

SCOOP的灵活访问控制策略。 (英语) Zbl 1184.68169号


MSC公司:

68甲19 其他编程范式(面向对象、顺序、并发、自动等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

参考文献:

[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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。