克雷尔

Creol:一种面向分布式并发系统的类型安全的面向对象模型。面向对象的分布式计算在社会的关键基础设施中正变得越来越重要。在标准的面向对象模型中,对象在方法调用上同步。这些模型在分布式环境下可能会受到批评,因为它们的通信和同步紧密耦合;网络延迟和不稳定性可能在本地导致大量等待甚至死锁。CROOL模型通过方法调用和同步的松散耦合来分配分布式对象。异步方法调用和高级本地控制结构允许本地计算适应网络不稳定性。对象变量是由接口键入的,因此与远程对象的通信与它们的实现无关。Creol的遗传和亚型关系是不同的。接口形成子类型层次结构,而多重继承则用于类级别的代码重用。本文介绍了CROOL语法、操作语义和类型系统。结果表明,对于类型良好的程序,运行时类型错误不会发生。


ZBMaCT中的参考文献(25篇文章中引用)

显示结果1至20的25。
按年份排序(引文
  1. Abbasi,罗萨;GigSimi,FATMEEH;Kasravi,RAMTIN:具有非特定成分的异步系统的验证(2019)
  2. Karami,Farzane;WO,奥拉夫;Ramezanifarkhani,TokTaM:活动对象交互范式的评价(2019)
  3. Ramezanifarkhani,Toktam;WO,奥拉夫;Tokas,Sukun:一个用于分布式和面向对象系统的保密语言(2018)
  4. Ameur Boulifa,R;Henrio,L.;Kulankhina,O.;马德兰,E;萨武,A:异步组件的行为语义(2017)
  5. BraveTi,马里奥;Giachino,埃琳娜;Lienhardt,米迦勒;Wong,Peter Y. H.:并发对象群的动态再绑定:理论与实践(2017)
  6. 奥拉夫、麦克道威尔、查利:异步通信并发对象系统中检测过快并发的问题(2017)
  7. 道夫兰,Johan;约翰森,Einar Broch;WO,奥拉夫,Yu,Ingrid Chieh:一个适应性等级等级的证明系统(2015)
  8. 达米亚尼,FaluCio;Dovland,Johan;Broch Johnsen,Eiar;舍费尔,INA:验证特征:细粒度重用的增量证明系统(2014)
  9. Chanclies,克里斯多夫;Tanter,Eyric;De Meuter,沃尔夫冈:并行角色监视器:从参与者模型中的数据划分中解开任务级并行性(2014)
  10. Arrntt,沃尔夫冈;Dylla,马希米莲:一个异步对象的组合验证系统(2012)
  11. 陈,Tsong Yueh;胡,培峰;李,郝;TSE,T. H.:一种用于检测并发系统中不可达故障的增强流分析技术(2012)伊波尔特
  12. 德波尔,Frank S.;GRAPEE,IMMO;斯特芬,马丁:主动对象终止检测(2012)
  13. Henrio,卢多维克;Kammü勒,弗洛里安;Lutz,比安卡:ASP(<文本乐趣):一种类型的功能活动对象演算(2012)
  14. 劳德,PeTER:异步方法调用和期货的安全实现(2012)
  15. 佩泰,马丁;劳德,PeTe:确保未来——分布式OO语言的信息流分析(2012)
  16. Dovand,Johan;约翰森,Einar Broch;WO,奥拉夫;斯特芬,马丁:多继承的懒惰行为子类型的增量推理(2011)
  17. 克拉克,戴夫;约翰森,Einar Broch;沃德,奥拉夫:并发对象点菜(2010)
  18. 道夫兰,Johan;约翰森,Einar Broch;欠,奥拉夫;斯特芬,马丁:懒惰行为子类型(2010)
  19. Braaam,埃里卡;Grace,IMMO;Grulnne,安德烈亚斯;斯特芬,马丁:面向对象语言的行为界面描述:期货和承诺(2009)
  20. Caromel,丹尼斯;Henrio,卢多维克;Serpette,Bernard Paul:异步顺序过程(2009)