×

通过包容实现隐私。 (英语) Zbl 1009.68022号

摘要:我们描述了一个允许对象扩展和结构子类型的对象演算。每个对象都有一个“字典”来调解名称和组件之间的连接。这种额外的间接方式产生了第一个以类型安全的方式将对象扩展和全角子类型结合在一起的对象演算。如果类继承是用对象扩展建模的,则可以通过作用域限制直接实现私有字段和方法:私有字段或方法是通过包含隐藏的字段或方法。我们证明了类型系统是健全的,讨论了允许协变自类型的变量,并给出了微积分的一些表示性示例。

MSC公司:

68甲19 其他编程范式(面向对象、顺序、并发、自动等)
68号30 软件工程的数学方面(规范、验证、度量、需求等)

软件:

艾菲尔
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] M.阿巴迪。;Cardelli,L.,《对象理论》(1996),Springer-Verlag:Springer-Verlag纽约/柏林·Zbl 0876.68014号
[2] 波诺,V。;Bugliesi,M。;Dezani,M。;Liquori,L.,不完整对象的子类型约束,CAAP(1997),Springer-Verlag:Springer-Verlag纽约/柏林
[3] 波诺,V。;布列西,M。;Liquori,L.,《不完全对象的lambda演算》,《计算机科学数学基础论文集》(1996),Springer-Verlag:Springer-Verlag纽约/柏林,第218-229页·Zbl 0896.03016号
[4] 波诺,V。;Liquori,L.,对象的Fisher-Honsell-Mitchell演算的一个子类型,《计算机科学逻辑学报》1994(1995),Springer-Verlag:Springer-Verlag纽约/柏林,第16-30页·Zbl 1044.03507号
[5] Bracha,G。;Lindstrom,G.,《模块化与继承》,IEEE计算机学会计算机语言国际会议论文集(1992年),IEEE计算学会:IEEE计算机协会华盛顿,第282-290页
[6] Bruce,K.B.,《典型的面向对象语言:设计、静态类型和语义》,《函数式编程》,4127-206(1994)·Zbl 0817.68037号
[7] 布鲁斯,K.B。;Cardelli,L。;卡斯塔尼亚,G。;莱文斯,G。;Pierce,B.C.,《关于二进制方法,对象系统的理论和实践》,1217-238(1995)
[8] Cardelli,L。;Wegner,P.,《关于理解类型、数据抽象和参数多态性》,《计算调查》,第17期,第471-522页(1985年)
[9] Drossopoulou,S,Wragg,D,and,Eisenbach,S.1998,What,网址:http://www-dse.doc.ic.ac.uk; Drossopoulou,S,Wragg,D,and,Eisenbach,S.1998,What,网址:http://www-dse.doc.ic.ac.uk
[10] Felleisen,M.,《一级提示的理论与实践》,第十五届美国计算机学会编程语言原理研讨会会议记录(1988年),美国计算机学会,第180-190页
[11] Fisher,K.,1996,面向对象编程语言的类型系统,斯坦福大学计算机科学系博士论文,1996年。;Fisher,K.,1996,《面向对象编程语言的类型系统》,斯坦福大学计算机科学系博士论文,1996年。
[12] Fisher,K。;Honsell,F。;Mitchell,J.C.,《对象和方法专门化的lambda演算》,北欧计算机杂志。,1, 3-37 (1994) ·Zbl 0886.03010号
[13] Fisher,K。;Honsell,F。;米切尔,J.C.,Proc。IEEE计算机科学逻辑研讨会(1993),第26-38页
[14] Fisher,K。;Mitchell,J.C.,《带子类型的基于委托的对象演算》,《计算理论基础》(FCT’95)(1995),Springer-Verlag:Springer-Verlag纽约/柏林,第42-61页·Zbl 1507.68086号
[15] Fisher,K。;Mitchell,J.C.,面向对象语言类型系统的开发,对象系统的理论与实践,1189-220(1996)
[16] Fisher,K。;米切尔,J.C.,Proc。计算机软件的理论方面(1994),第844-885页
[17] Fisher,K。;Mitchell,J.C.,《关于类、对象和数据抽象之间的关系》,《程序构建数学国际暑期学校学报》,德国马克托伯多夫(1997年),《斯普林格·弗拉格:斯普林格尔·弗拉格纽约/柏林》·Zbl 0884.68012号
[18] Fisher,K,and,Reppy,S.H,M,\(OBY);Fisher、K和Reppy、S.H、M、\(OBY\)
[19] Jategaonkar,L。;Mitchell,J.C.,《扩展模式匹配和子类型的类型推断》,《信息学基础》,第19卷,第127-166页(1993年)·Zbl 0801.68017号
[20] Jategaonkar,L。;Mitchell,J.C.,《ACM Lisp和函数编程研讨会论文集》(1988年)
[21] Lakos,J.1996,《大规模C++软件设计》,马萨诸塞州雷丁市Addison Wesley出版社,1996年。;Lakos,J.1996,《大型C++软件设计》,Addison-Wesley,Reading,MA,1996年。
[22] Liquori,L.1996,《原始物体的扩展理论:一阶和二阶系统》,技术报告CS-23-96,都灵大学信息学院。;Liquori,L.1996,《原始物体的扩展理论:一阶和二阶系统》,技术代表CS-23-96,都灵大学信息学院。
[23] Liquori,L.,《原始对象的扩展理论:一阶系统》(Aksit,M.;Matsuoka,S.,《ECOOP-97会议录》,欧洲面向对象编程国际会议(1997),Springer-Verlag:Springer-Verlag纽约/柏林)
[24] 梅耶(Meyer,B.),《埃菲尔:语言》(Eiffel:The Language)(1992年),普伦蒂斯·霍尔(Prentice-Hall):普伦蒂丝·霍尔(Preentice-Hall Englewood Cliffs)·Zbl 0779.68013号
[25] Mitchell,J.C.,《迈向方法专门化和继承的类型化基础》,第十七届ACM编程语言原理研讨会会议记录(1990年),ACM,第109-124页
[26] 米切尔,J.C。;Plotkin,G.D.,抽象类型有存在类型,ACM Trans。编程语言和系统,10470-502(1988)
[27] Plotkin,G.D.1981,《操作语义的结构方法》,丹麦奥胡斯大学计算机科学系技术代表DAIMI FN-19。;Plotkin,G.D.1981,《操作语义的结构方法》,丹麦奥胡斯大学计算机科学系技术代表DAIMI FN-19。
[28] Rémy,D.,ML自然扩展中记录的类型推断,(Gunter,C.a.;Mitchell,J.C.,《面向对象编程的理论方面》(1994),麻省理工学院出版社:麻省理学院出版社剑桥),67-95
[29] 雷米·D·。;Vouillon,J.,《Objective ML:ML的简单面向对象扩展》,《第24届ACM编程语言原理研讨会论文集》(1997),ACM出版社,第40-53页
[30] Riecke,J.G。;Stone,C.A.,《通过包容实现隐私》,第五届面向对象语言基础研讨会非正式研讨会记录(1998年)·Zbl 1009.68022号
[31] Wand,M.,简单对象的完全类型推理,《计算机科学逻辑研讨会论文集》(1987),IEEE,第37-44页
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。