Subtyping Constraints for Incomplete Objects: (extended abstract)

Viviana Bono 1 Michele Bugliesi 2 Mariangiola Dezani-Ciancaglini 1 Luigi Liquori 1, 3, 4
1 Dipartimento di Informatica [Torino]
2 Dipartimento di Matematica [padova]
3 LOGNET - Logical Networks: Self-organizing Overlay Networks and Programmable Overlay Computing Systems
CRISAM - Inria Sophia Antipolis - Méditerranée
4 CSELT - Centro Studi e Laboratori Telecomunicazioni
Abstract : We extend the type system for the Lambda Calculus of Objects [14] to account for a notion of width subtyping. The main novelties over previous work are the use of bounded quantification to achieve 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 [14]. In particular, 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) complete freedom in the order of method addition.
Type de document :
Communication dans un congrès
TAPSOFT '97: Theory and Practice of Software Development 7th International Joint Conference CAAP/FASE Lille, France, April 14–18, 1997 Proceedings, Apr 1997, Lille, France. Springer Verlag, 1214, pp.465-477, 1997, Lecture Notes in Computer Science. 〈10.1007/BFb0030619〉
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01154622
Contributeur : Luigi Liquori <>
Soumis le : vendredi 22 mai 2015 - 15:45:55
Dernière modification le : jeudi 14 juin 2018 - 10:54:03
Document(s) archivé(s) le : jeudi 20 avril 2017 - 07:10:28

Fichier

1997-caap-fase-97.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

INRIA

Citation

Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori. Subtyping Constraints for Incomplete Objects: (extended abstract). TAPSOFT '97: Theory and Practice of Software Development 7th International Joint Conference CAAP/FASE Lille, France, April 14–18, 1997 Proceedings, Apr 1997, Lille, France. Springer Verlag, 1214, pp.465-477, 1997, Lecture Notes in Computer Science. 〈10.1007/BFb0030619〉. 〈hal-01154622〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

464

Téléchargements de fichiers

48

Contact


archive-ouverte@inria.fr