An extended Theory of Primitive Objects: First order system

Abstract : We investigate a first-order extension of the Theory of Primitive Objects of [5] that supports method extension in presence of object subsumption. Extension is the ability of modifying the behavior of an object by adding new methods (and inheriting the existing ones). Object subsumption allows to use objects with a bigger interface in a context expecting another object with a smaller interface. This extended calculus has a sound type system which allows static detection of run-time errors such as message-not-understood, " width " subtyping and a typed equational theory on objects. Moreover, it can express classes and class-inheritance.
Type de document :
Communication dans un congrès
ECOOP, Jun 1997, Jyvaskyla, Finland. Springer Verlag, 1241, pp.146-169, 1997, Lecture Notes in Computer Science. 〈10.1007/BFb0053378〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01154568
Contributeur : Luigi Liquori <>
Soumis le : vendredi 22 mai 2015 - 14:05:26
Dernière modification le : samedi 27 janvier 2018 - 01:31:31
Document(s) archivé(s) le : jeudi 20 avril 2017 - 07:00:18

Fichier

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

Identifiants

Collections

Citation

Luigi Liquori. An extended Theory of Primitive Objects: First order system. ECOOP, Jun 1997, Jyvaskyla, Finland. Springer Verlag, 1241, pp.146-169, 1997, Lecture Notes in Computer Science. 〈10.1007/BFb0053378〉. 〈hal-01154568〉

Partager

Métriques

Consultations de la notice

158

Téléchargements de fichiers

37