A Subtyping for Extensible, Incomplete Objects

Authors:
Viviana Bono;Michele Bugliesi;Mariangiola Dezani-Ciancaglini;Luigi Liquori
Affiliations:
(Currently: School of Computer Science, The University of Birmingham, Edgbaston, Birmingham B15 2TT, U.K.) Dipartimento di Informatica, Università di Torino, C.so Svizzera 185, 1-10149 Torino ...;(Currently: Dipartimento di Informatica, Università “Ca' Foscari” di Venezia, via Torino 155, 30123 Mestre, Italy) Dipartimento di Matematica, Università di Padova, Via Belzo ...;(Partly supported by NATO Grant HTECH.LG960875) Dipartimento di Informatica, Università di Torino, C.so Svizzera 185, 1-10149 Torino, Italy. dezani@di.unito.it;(Currently: Laboratoire de l'informatique du Parallélisme, Ècole Normale Supérieure de Lyon, F-69364 Lyon, France) Dipartimento di Matematica ed Informatica, Università di Udin ...
Venue:
Fundamenta Informaticae
Year:
1999

Citing 18
Cited 12

Smalltalk-80: the language and its implementation

Smalltalk-80: the language and its implementation
On understanding types, data abstraction, and polymorphism

ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Self: The power of simplicity

OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
A semantics of multiple inheritance

Information and Computation - Semantics of Data Types
Inheritance is not subtyping

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A framework for defining logics

Journal of the ACM (JACM)
A Theory of Objects

A Theory of Objects
A lambda calculus of objects and method specialization

Nordic Journal of Computing
From Classes to Objects via Subtyping

ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
A Lambda Calculus of Incomplete Objects

MFCS '96 Proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science
Matching Constraints for the Lambda Calculus of Objects

TLCA '97 Proceedings of the Third International Conference on Typed Lambda Calculi and Applications
A Typed Lambda Calculus of Objects (Extended Abstract)

ASIAN '96 Proceedings of the Second Asian Computing Science Conference on Concurrency and Parallelism, Programming, Networking, and Security
On Subtyping and Matching

ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Subtyping Constraints for Incomplete Objects (Extended Abstract)

TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects

CSL '94 Selected Papers from the 8th International Workshop on Computer Science Logic
A Delegation-based Object Calculus with Subtying

FCT '95 Proceedings of the 10th International Symposium on Fundamentals of Computation Theory
Pure Type Systems Formalized

TLCA '93 Proceedings of the International Conference on Typed Lambda Calculi and Applications
A denotational semantics of inheritance

A denotational semantics of inheritance

More dynamic object reclassification: Fickle∥

ACM Transactions on Programming Languages and Systems (TOPLAS)
Typed interpretations of extensible objects

ACM Transactions on Computational Logic (TOCL)
Products and polymorphic subtypes

Fundamenta Informaticae
Mixin Modules in a Call-by-Value Setting

ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
A core calculus of mixins and incomplete objects

OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Safe and flexible objects

Proceedings of the 2005 ACM symposium on Applied computing
Mixin modules in a call-by-value setting

ACM Transactions on Programming Languages and Systems (TOPLAS)
Calculi, types and applications

Theoretical Computer Science
Extending FeatherTrait Java with Interfaces

Theoretical Computer Science
Type safe dynamic object delegation in class-based languages

Proceedings of the 6th international symposium on Principles and practice of programming in Java
Delegation by object composition

Science of Computer Programming
Products and Polymorphic Subtypes

Fundamenta Informaticae - Concurrency Specification and Programming Workshop (CS&P'2001)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We extend the type system for the Lambda Calculus of Objects [16] with a mechanism of width subtyping and a treatment of incomplete objects. The main novelties over previous work are the use of subtype-bounded quantification to capture a new and more direct rendering of MyType polymorphism, and a uniform treatment for other features that were accounted for via different systems in subsequent extensions [7, 6] of [16]. The new system provides for (i) appropriate type specialization of inherited methods, (ii) static detection of errors, (iii) width subtyping compatible with object extension, and (iv) sound typing for partially specified objects.