PolyTOIL公司 swMATH ID: 14205 软件作者： Bruce，K.，Schuett，A.，van Gent，R.，Fiech，A。 描述： PolyTOIL：一种类型安全的多态面向对象语言。PolyTOIL是一种新型的静态类型的多态面向对象编程语言，可以证明它是类型安全的。通过分离子类型和继承的定义，为self类型提供一个名称，并仔细定义类型检查规则，我们获得了一种在支持类的模块化类型检查的同时表现力很强的语言。类型上的匹配关系与F有界量化有关，既用于说明类型检查规则，也用于表示多态性的类型参数的边界。PolyTOIL的设计基于对类型检查规则和语义的仔细的形式化定义。借助主题约简定理，得到了类型安全性的证明。 主页： http://rd.springer.com/chapter/10.1007/3-540-49538-X_3 相关软件： 轻量级Java；艾菲尔；贝塔；Smalltalk公司；毫升；模拟67；自动化；二维三角剖分；哈斯克尔；格贝塔；快速排序；BGL公司；特点；STL公司；旋风；促进；阿尔卑斯山；斯卡拉；增强C++库；CGAL公司 引用于： 19文件 全部的 前5名29位作者引用 2 维维亚娜·博诺 2 乔治·盖利 2 Atsushi Igarashi 2 本杰明·皮尔斯。 1 苏亚德·阿拉吉奇 1 保罗·巴尔丹 1 布鲁斯（Kim B.Bruce）。 1 米歇尔·布格列西 1 卢卡·卡德利 1 阿德里亚娜·孔皮诺尼（Adriana B.Compagnoni）。 1 凯萨琳·费希尔 1 Healfdene戈根 1 埃纳尔·布罗赫·约翰森 1 弗洛里安·卡姆米勒 1 拉尔夫·拉梅尔 1 安德鲁·卢姆斯代恩 1 约翰·米切尔（John C.Mitchell）。 1 西蒙娜·莫托尼亚 1 Na、Hyunik 1 Owe、Olaf 1 亚历山德拉·拉斐塔 1 美国雷迪。 1 兰·里纳特 1 柳，苏京 1 伊万诺·萨尔沃 1 杰里米·西克。 1 米尔科·维罗利 1 温特，迈克尔 1 Yu，Ingrid Chieh女士 全部的 前5名引用于6个系列 8 信息与计算 2 理论计算机科学 1 计算机程序设计科学 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 博莱大学Studia Universitatis Babeș。Informatica公司 在2个字段中引用 19 计算机科学（68至XX） 5 数学逻辑和基础（03-XX） 按年份列出的引文