ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Autres revues >>

L'Objet

1262-1137
logiciel, bases de données, réseaux
Publication abandonné
 

 ARTICLE VOL 12/HS - 2006  - pp.87-100
TITRE
Héritage non conforme en Eiffel. Implantation sur le compilateur SmartEiffel et retour d'expérience

RÉSUMÉ
L'héritage non conforme est un mécanisme récemment introduit dans la nouvelle définition du langage Eiffel. Nous rendons compte de la première implantation de ce mécanisme dans un compilateur de production. Ce mécanisme est similaire à l'héritage traditionnel à la différence près qu'il n'induit pas de relation de sous-typage entre l'héritier et le parent, et qu'il n'autorise pas de polymorphisme. Il permet au concepteur de capturer davantage de décisions de conception dans le code source lui-même. De plus, ce mécanisme aide les compilateurs à réduire la quantité de liaison dynamique dans le programme final. L'héritage non conforme permet de redéfinir des arguments de méthode de manière covariante, et de réduire la visibilité d'une méthode sans risque d'erreurs de typage à l'exécution.


ABSTRACT
Non-conforming inheritance is a mechanism recently introduced in the new definition of the Eiffel language. We provide feedback from the first implementation of this mechanism in a production compiler. This mechanism is similar to traditional inheritance but it doesn't induce a subtyping relationship between the child and the parent, and disallows polymorphism. It allows the designer to capture more design decisions in the source code itself. Furthermore this mechanism helps compilers to statically remove dynamic dispatch code. Non-conforming inheritance incurs no type-system soundness problems even when arguments are redefined covariantly or when the exportation status of a feature is restricted in the heir type.


AUTEUR(S)
Frederic MERIZEN, Dominique COLNET, Philippe RIBET, Cyril ADRIAN

MOTS-CLÉS
Héritage, sous-typage, conformance, réutilisation d'implantation

KEYWORDS
Inheritance, subtyping, conformance, implementation reuse

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 34.95 €
• Non abonné : 34.95 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (72 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier