×

Cameo:埃菲尔的另一种并发模型。 (英语) Zbl 1184.68150号


MSC公司:

68甲15 编程语言理论
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

参考文献:

[1] Arslan V,Eugster P,Nienaltowski P,Vaucouleur P(2004)SCOOP:并发变得容易。In:程序。可靠的系统:软件、计算、网络。最初是苏黎世理工学院的论文草稿,http://se.inf.ethz.ch/people/nienaltowski/papers/scoop_easy_draft.pdf
[2] Brooke PJ,Paige RF(2006)《SCOOP批判》。收件人:Paige RF,Brooke PJ(eds)Proc。第一届类埃菲尔语言并发、实时和分发国际研讨会(CORDIE),编号YCS-TR-405。约克大学
[3] Brooke PJ,Paige RF(2007年),埃菲尔铁塔同时出现的例外情况。对象技术杂志6(10):111–126·Zbl 05737980号 ·doi:10.5381/jot.2007.6.10.a4
[4] Brooke PJ,Paige RF(2007)《利用CSPsim对CSP模型进行懒惰探索和检查》。收件人:McEwan AA、Ifill W、Welch PH(eds)通信过程架构,第33–50页
[5] Brooke PJ,Paige RF,Jacob JL(2007)埃菲尔铁杆的CSP模型。形式方面计算19(4):487–512·Zbl 1131.68034号 ·doi:10.1007/s00165-007-0033-8
[6] Caromel D(1993)面向对象并发编程方法。CACM 36(9):99–102
[7] Compton M(2000)SCOOP:埃菲尔的并发性调查。澳大利亚国立大学硕士论文
[8] 社区Z(2007)工具项目。http://czt.sourceforge.net/上次访问时间:2007年9月
[9] ECMA-367:Eiffel分析、设计和编程语言。ECMA国际,2005年6月,日内瓦
[10] Freitas AF,Cavalcanti ALC(2006)《马戏团到爪哇的自动翻译》。In:FM 2006,LNCS中的编号4085。海德堡施普林格
[11] Fuks O,Ostroff JS,Paige RF(2004)SECG:SCOOP-to-Eiffel代码生成器。对象技术杂志3(10):143–160·Zbl 05431169号 ·doi:10.5381/jot.2004.3.10.a3
[12] Hoare CAR(1985)通信顺序过程。普伦蒂斯·霍尔国际英国公司,新泽西州·Zbl 0637.68007号
[13] Mahony B,Dong JS(2002)TCSP和Object-Z:TCOZ方法的深层语义链接。形式方面计算13(2):142–160·Zbl 1063.68603号 ·doi:10.1007/s00165020004
[14] Meyer B(1997)面向对象的软件构造,第2版。新泽西州普伦蒂斯·霍尔·Zbl 0987.68516号
[15] Nienaltowski P SCOOPLI实施,2005年。网址:http://se.inf.ethz.ch/research/scoop.html
[16] Nienaltowski P(2007)基于契约的并发面向对象编程实用框架。苏黎世理工学院博士论文
[17] Nienaltowski P、Meyer B、Ostroff JS(2008)《并发合同》。形式方面计算。doi:10.1007/s00165-007-0063-2
[18] Ostroff JS、Torshizi F、Huang HF、Schoeller B(2008)《超越并发契约》。形式方面计算。doi:10.1007/s00165-008-0073-8
[19] Paige R,Ostroff J(2004)ERC——Eiffel的面向对象精化演算。形式方面计算16(1)·Zbl 1084.68022号
[20] Roscoe AW(1998)《并发的理论与实践》。计算机科学系列。新泽西州普伦蒂斯·霍尔
[21] Schneider S(2000)并发和实时系统。纽约威利
[22] Taft,T,Duff,RA(eds)(1997)Ada 95参考手册。计算机科学课堂讲稿中的第1246位。海德堡施普林格
[23] Woodcock J,Cavalcanti A(2002)《马戏团的语义》。In:程序。ZB,第184-203页·Zbl 1044.68560号
[24] Wellings A RECOP:使用Eiffel进行实时并发编程。收件人:Paige RF,Brooke PJ(eds)Proc。第一届类埃菲尔语言并发、实时和分发国际研讨会(CORDIE),编号YCS-TR-4052006年7月
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。