部落 swMATH ID: 23217 软件作者: Clarke,D.、Drossopoulou,S.、Noble,J.、Wrigstad,T。 描述: 部落:一个简单的虚拟类演算。从BETA开始,已经开发了一系列编程语言机制,例如虚拟类(对象的类值属性),以允许在存在相互依赖的类的情况下进行继承。本文介绍了Tribe,这是一个类型系统,它通过处理与核心形式主义正交的问题来推广和简化此类机制的其他形式主义,这些问题对于健全性来说至关重要,例如调度和字段初始化的精确细节。Tribe可以支持同时依赖于类和对象的路径类型,这对于编写库代码很有用,并且可以无处不在地访问对象的族,这提供了族多态性,而无需拖曳族参数。基于Tribe的语言将比现有设计更简单、更具表现力,同时具有更简单的类型系统,为未来的语言设计提供有用的基础。 主页: https://dl.acm.org/citation.cfm?doid=1218563.1218578 相关软件: 香车叶草;梅斯4;校准仪9;HMap(HMap);多蒂;1毫升;github;混合ML;斯卡拉;贝塔;轻量级Java;功能C++;方面J;佳姿;分类箱/J;凯撒J;方面C++ 引用于: 4文件 全部的 前5名12位作者引用 2 伯恩哈德·莫勒 1 纳达·阿明 1 斯文·阿佩尔 1 塞缪尔·格吕特 1 彼得·霍夫纳 1 Atsushi Igarashi 1 克里斯蒂安·卡斯特纳 1 克里斯蒂安·伦戈尔 1 马丁·奥德斯基 1 蒂亚克·隆普夫 1 基耶里·齐托 1 桑德罗·斯塔基 2篇连载文章中引用 2 计算机程序设计科学 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 4 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文