Statically typed friendly functions via partially abstract types

B.C. Pierce 1 D.N. Turner
1 FORMEL
INRIA Rocquencourt
Abstract : A well-known shortcoming of the object model of Simula and Smalltalk is the inability to deal cleanly with methods that require access to the internal state of more than one object at a time. Recent language designs have therefore extended the basic object model with notions such as friends' methods and protected features, which allow external access to the internal state of objects but limit the scope in which such access can be used. We show that a variant of this idea can be added to any type-theoretic model of the basic object-oriented mechanisms (encapsulation, message passing and inheritance), using a construction based on Cardelli and Wegner's partially abstract types, a refinement of Mitchell and Plotkin's type-theoretic treatment of absract types, a refinement of Mitchell and Plotkin's type-theoretic treatment of abstract types.
Type de document :
Rapport
[Research Report] RR-1899, INRIA. 1993
Liste complète des métadonnées

https://hal.inria.fr/inria-00074772
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 16:16:41
Dernière modification le : vendredi 16 septembre 2016 - 15:11:17
Document(s) archivé(s) le : mardi 12 avril 2011 - 16:03:05

Fichiers

Identifiants

  • HAL Id : inria-00074772, version 1

Collections

Citation

B.C. Pierce, D.N. Turner. Statically typed friendly functions via partially abstract types. [Research Report] RR-1899, INRIA. 1993. 〈inria-00074772〉

Partager

Métriques

Consultations de la notice

119

Téléchargements de fichiers

48