羽毛特征 swMATH ID: 46482 软件作者: 路易吉·利库里;阿诺·斯皮瓦克 描述: FeatherTrait:Featherweight Java的适度扩展。在静态类型、基于类的语言的上下文中,我们研究了可以通过特征组合进行扩展的类。特征是没有状态的方法的集合;它可以被视为一个不完整的无状态类。特征可以按任何顺序组合,但只有由提供状态变量和其他方法的类导入时才有意义,这些方法可以消除导入的特征之间产生的冲突名称。我们引入了FeatherTraitJava(FTJ),它是简单的轻量级基于类的演算FeatherweightJava(FJ)的保守扩展,具有静态类型的特性。在FTJ中,可以使用特征作为基本的行为砖来构建类;导入的trait之间的方法冲突必须由用户通过以下方式明确解决:(i)在trait中使用别名或排除方法名,或(ii)显式覆盖类或trait本身中冲突的方法。我们提供了一个带有查找算法的操作语义,以及一个健全的类型系统,该系统确保对一个类型良好的表达式进行求值时不会产生未被理解的运行时错误,也不会使解释器陷入困境。我们给出了基于trait的继承模型增强表达能力的示例。由此产生的微积分似乎是对具有基于特征的继承的类型化基于类的语言进行严格数学分析的一个很好的起点。 主页: http://www-sop.inria.fr/members/Luigi.Liquori/PAPERS/fjava-multiple-inheritance.pdf 关键词: 面向对象语言设计;继承;类型;Java语言 相关软件: 轻量级Java;JML公司;艾菲尔;斯卡拉;自动校对;特征CbC;ArcAngel公司;火花;VeriFast公司;VCC(沃尔沃汽车公司);VerCors公司;达夫尼;马戏团;布吉;罗丹;规格#;伊莎贝尔/HOL;模拟67;Z轴;哈斯克尔 引用于: 6文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 使用接口扩展FeatherTrait Java。 Zbl 1146.68026号路易吉·利古里;阿诺·斯皮瓦克 2008 全部的 前5名21位作者引用 2 费卢西奥·达米亚尼 2 伊娜·谢弗 1 贝塞,简 1 洛伦佐·贝蒂尼 1 塔比亚·博迪斯 1 萨拉·卡佩基 1 陈子春 1 乌戈·德利古罗 1 约翰·多夫兰 1 鲍里斯·杜德尔 1 安德烈·杜登赫夫纳 1 埃纳尔·布罗赫·约翰森 1 乔瓦尼·拉戈里奥 1 路易吉·利古里 1 亚历克斯·波坦 1 雅各布·雷霍夫 1 托拜厄斯·隆格 1 马可·塞韦托 1 阿诺·斯皮瓦克 1 托马斯·图姆 1 祖卡,埃琳娜 5篇连载文章中引用 2 计算机科学中的逻辑方法 1 理论计算机科学 1 计算机程序设计科学 1 信息与计算 1 计算的形式方面 在2个字段中引用 5 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 按年份列出的引文