Theoretical aspects of object-oriented programming: types, semantics, and language design
Theoretical aspects of object-oriented programming: types, semantics, and language design
复制标题
面向对象编程的理论方面：类型、语义和语言设计
DOI：
10.5860/choice.32-3941
复制
发表时间：
1994
期刊：
影响因子：
--
通讯作者：
John C. Mitchell
中科院分区：
文献类型：
--
作者：
Carl A. Gunter;John C. Mitchell
第1部分：对象和子类型：用户定义的类型和过程数据结构作为数据抽象的补充方法，使用范畴论设计隐式转换和泛型操作符。第2部分类型推断：ML自然扩展中记录的类型推断，具有实例变量和继承的对象的Didier Remy类型推断，参数类的Mitchell Wand静态类型推断，Atsushi Ohori和Peter Buneman。第三部分：连贯性：记录、继承和有界量化的适度模型，Kim B. Bruce和Giuseppe Longo作为隐式强制的继承，Val Breazu-Tannen等人，F<中的包容、最小类型和类型检查的连贯性，Pierre-Louis curen和Giorgio Ghelli。第四部分记录演算：记录上的操作，Luca Cardelli和John C. Mitchell键入记录的免费拼接，Didier Remy可扩展记录的纯演算子类型，Luca Cardelli有界量化是不可判定的，Benjamin C. Pierce。第5部分继承：面向对象语言的两种语义模型，Samuel N. Kamin和Uday S. Reddy继承不是子类型，William R. Cook等人对方法专门化和继承的类型化基础，John C. Mitchell。
Part 1 Objects and subtypes: user-defined types and procedural data structures as complementary approaches to data abstraction, John C. Reynolds using category theory to design implicit conversions and generic operators, John C. Reynolds. Part 2 Type inference: type inference for records in a natural extension of ML, Didier Remy type inference for objects with instance variables and inheritance, Mitchell Wand static type inference for parametric classes, Atsushi Ohori and Peter Buneman. Part 3 Coherence: a modest model of records, inheritance, and bounded quantification, Kim B. Bruce and Giuseppe Longo inheritance as implicit coercion, Val Breazu-Tannen et al coherence of subsumption, minimum typing and type-checking in F<, Pierre-Louis Curien and Giorgio Ghelli. Part 4 Record calculi: operations on records, Luca Cardelli and John C. Mitchell typing record concatenation for free, Didier Remy extensible records in a pure calculus of subtyping, Luca Cardelli bounded quantification is undecidable, Benjamin C. Pierce. Part 5 Inheritance: two semantic models of object-oriented languages, Samuel N. Kamin and Uday S. Reddy inheritance is not subtyping, William R. Cook et al toward a typed foundation for method specialization and inheritance, John C. Mitchell.