埃里克·恩斯特 第一类对象集。 （英语） Zbl 1246.68089号 Berardi，Stefano（编辑）等人，《证明和程序的类型》。2008年3月26日至29日在意大利都灵举行的TYPES 2008国际会议。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-02443-6/pbk）。计算机科学课堂讲稿549783-99（2009）。 摘要：通常，对象是具有固定接口的整体实体。为了增加这一领域的灵活性，本文提出了一级对象集作为语言构造。对象集提供了一个接口，该接口是其成员对象接口的不相交并集。它还可以用于动态查找过程中涉及多个对象的特殊类型的方法调用。由于支持功能访问和延迟方法调用，对象集与普通对象类似，只是更加灵活。对象集作为一个轻量级原语特别方便，可以添加到主流虚拟机中，以改进对家族多态性的支持。该方法通过一个小的微积分得到了精确的结果，其类型系统的可靠性已通过Coq中的机械检验证明得到了证明。关于整个系列，请参见[Zbl 1165.68001号]. MSC公司： 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 68吨15 定理证明（演绎、解析等）（MSC2010） 关键词：对象集；作文；多对象方法调用；类型 软件：轻量级Java；格贝塔；凯撒J；艾菲尔；斯卡拉；Coq公司 PDF格式BibTeX公司 XML格式引用 \textit{E.Ernst}，莱克特。注释计算。科学。5497、83-99（2009年；Zbl 1246.68089） 全文： 内政部 参考文献： [1] Ernst，E.:gbeta–一种具有虚拟属性、块结构和传播、动态继承的语言。丹麦奥胡斯大学计算机科学系Devise博士论文（1999年6月） [2] Ernst，E.：高阶层次结构。收录：Cardelli，L.（编辑）ECOOP 2003。LNCS，第2743卷，第303–329页。施普林格，海德堡（2003）·doi:10.1007/978-3-540-45070-2_14 [3] Ernst，E.，Ostermann，K.，Cook，W.R.：虚拟类微积分。摘自：《2006年POPL会议录》，查尔斯顿，南卡罗来纳州，美国，第270-282页。ACM，纽约（2006）·Zbl 1369.68072号 [4] Ernst，E.：家族多态性。收录：Knudsen，J.L.（编辑）ECOOP 2001。LNCS，第2072卷，第303–326页。斯普林格，海德堡（2001）·Zbl 0982.68637号 ·doi:10.1007/3-540-45337-7_17 [5] Ernst，E.：FJ（_{mbox{scriptsize-set}}）演算的稳健性证明（2008年10月），网址：http://www.cs.au.dk/eernst/papers/objsetproof.tgz [6] Bertot，Y.，Casteéran，P.：交互式定理证明和程序开发。Coq'Art:归纳结构的微积分。理论计算机科学课文。斯普林格，海德堡（2004）·Zbl 1069.68095号 ·doi:10.1007/978-3-662-07964-5 [7] Igarashi，A.，Pierce，B.，Wadler，P.：Featherweight Java：Java和GJ的最小核心演算。托普拉斯23（3），396–459（2001）·Zbl 05459286号 ·doi:10.1145/503502.503505 [8] Aydimer，B.，Bohannon，A.，Pierce，B.，Vaughan，J.，Vytiniotis，D.，Weirich，S.，Zdancewic，S.：使用证明助手进行编程语言研究（2008年1月），http://www.cis.upenn.edu/plclub/popl08-图特里亚/ [9] Bracha，G.，Cook，W.R.：基于Mixin的继承。摘自：《OOPSLA/ECOOP会议录》，第303–311页（1990年）·doi:10.1145/97945.97982 [10] Schärli，N.，Ducasse，S.，Nierstrasz，O.，Black，A.P.：特征：可组合的行为单位。收录：Cardelli，L.（编辑）ECOOP 2003。LNCS，第2743卷，第248–274页。施普林格，海德堡（2003）·doi:10.1007/978-3-540-45070-2.12 [11] Ducasse，S.、Nierstrasz，O.、Schärli，N.、Wuts，R.、Black，A.P.：特性：细粒度重用机制。《美国计算机学会编程语言与系统汇刊》28（2），331–388（2006）·Zbl 05459250号 ·数字对象标识代码：10.1145/1119479.1119483 [12] Stroustrup，B.：C++编程语言：特别版。艾迪森·卫斯理，雷丁（2000） [13] 梅耶，B.：埃菲尔：语言。Prentice-Hall，Englewood Cliffs（1991）·兹比尔0779.68013 [14] Ungar，D.，Smith，R.B.：自我：简单的力量。摘自：《OOPSLA 1987年会议录》，佛罗里达州奥兰多，1987年10月，第227-242页（1987）·doi:10.1145/38765.38828 [15] Agesen，O.，Bak，L.，Chambers，C.，Chang，B.W.，Hölzle，U.，Maloney，J.，Smith，R.B.，Ungar，D.，Wolczko，M.：《Self 4.0程序员参考手册》。Sun Microsystems，Inc.，山景城（1995） [16] Kristensen，B.B.，Østerbay，K.：角色：概念抽象理论和实际语言问题。TAPOS 2（3），143-160（1996） [17] Gottlob，G.，Schrefl，M.，Röck，B.：用角色扩展面向对象系统。ACM信息系统交易14（3），268–296（1996）·Zbl 01936159号 ·doi:10.1145/230538.230540 [18] Kniesel，G.：用于动态组件自适应的类型安全委托。摘自：Demeyer，S.，Bosch，J.（编辑）ECOOP 1998研讨会。LNCS，第1543卷，第136-137页。斯普林格，海德堡（1998）·doi:10.1007/3-540-49255-0_24 [19] Drossopoulou，S.，Damiani，F.，Dezani-Ciancaglini，M.，Giannini，P.：Fickle：动态对象重新分类。收录：Knudsen，J.L.（编辑）ECOOP 2001。LNCS，第2072卷，第130-149页。斯普林格，海德堡（2001）·Zbl 0982.68636号 ·doi:10.1007/3-540-45337-78 [20] Bettini，L.，Capecchi，S.，Giachino，E.：Featherweight包装java：包装对象和方法。《对象技术杂志》7（2），5–29（2008）·Zbl 05738102号 ·doi:10.5381/jot.2008.7.2.a1 [21] Gaster，B.R.，Jones，M.P.：可扩展记录和变体的多态类型系统。诺丁汉大学计算机科学系技术报告NOTTCS-TR-96-3（1996年11月） [22] Kiselyov，O.，Lammel，R.，Schupke，K.：强类型异质集合。摘自：Haskell研讨会，第96-107页（2004年）·doi:10.1145/1017472.1017488 [23] Odersky，M.：Scala语言规范。瑞士EPFL。版本2.7修订版。（2009年1月），http://www.scala-lang.org/docu/files/ScalaReference.pdf [24] Aracic，I.，Gasiunas，V.，Mezini，M.，Ostermann，K.：《凯撒概述》。收录：Rashid，A.，Aksit，M.（编辑）《面向方面软件开发学报》I.LNCS，第3880卷，第135–173页。斯普林格，海德堡（2006）·Zbl 1165.68355号 ·doi:10.1007/116870615 [25] Herrmann，S.：上下文角色的精确模型：编程语言ObjectTeams/Java。应用本体2（2），181-207（2007） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。