An extended Theory of Primitive Objects: First order system - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 1997

An extended Theory of Primitive Objects: First order system

Résumé

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.
Fichier principal
Vignette du fichier
1997-ecoop-97.pdf (399.79 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01154568 , version 1 (22-05-2015)

Identifiants

Citer

Luigi Liquori. An extended Theory of Primitive Objects: First order system. ECOOP, Jun 1997, Jyvaskyla, Finland. pp.146-169, ⟨10.1007/BFb0053378⟩. ⟨hal-01154568⟩

Collections

INRIA INRIA2
119 Consultations
124 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More