A Subtyping for Extensible, Incomplete Objects

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 subtyp-ing compatible with object extension, and (iv) sound typing for partially specified objects.
Type de document :
Article dans une revue
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 1999, 38 (4), pp.325--364. 〈IOS Press〉
Liste complète des métadonnées

Littérature citée [25 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01153734
Contributeur : Luigi Liquori <>
Soumis le : mercredi 20 mai 2015 - 13:53:59
Dernière modification le : jeudi 14 juin 2018 - 10:54:03
Document(s) archivé(s) le : jeudi 20 avril 2017 - 05:04:46

Fichier

1999-fundamenta-09.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01153734, version 1

Collections

Citation

Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori. A Subtyping for Extensible, Incomplete Objects. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 1999, 38 (4), pp.325--364. 〈IOS Press〉. 〈hal-01153734〉

Partager

Métriques

Consultations de la notice

373

Téléchargements de fichiers

62