Match-O, a dialect of Eiffel with match-types

Dominique Colnet 1 Luigi Liquori 1, 2, 3
1 ECOO - Environment for cooperation
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : It is well known that the Eiffel language allows covariant redefinition. Regardless of system-level validity rules, Eiffel is not type safe. In this paper, we present a dialect of Eiffel called Match-O, which prohibits covariant redefinition. We introduce a new kind of types, the match-types, inspired by the papers of Kim Bruce. The scope of this project is many-fold: – allowing binary methods; – keeping sound " mytype method specialization " , i.e. anchored type using Current; – allowing subtyping in all other sound cases. We claim that match-types can be added in the Eiffel type system to eliminate type unsoundness without blocking many interesting Eiffel programs (e.g. the ones with " binary methods "). We have implemented a compiler for Match-O and we have experimented our dialect on a large system using the original source code of SmallEiffel itself.
Type de document :
Communication dans un congrès
IEEE. 37th International Conference on Technology of Object-Oriented Languages and Systems, 2000. TOOLS-Pacific 2000. Proceedings., Nov 2000, Sydney, Australia. pp.190 - 201, 2000, 〈10.1109/TOOLS.2000.891369〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01152644
Contributeur : Luigi Liquori <>
Soumis le : lundi 18 mai 2015 - 13:15:22
Dernière modification le : jeudi 11 janvier 2018 - 16:21:43
Document(s) archivé(s) le : jeudi 20 avril 2017 - 01:47:11

Fichier

2000-tools-00.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Dominique Colnet, Luigi Liquori. Match-O, a dialect of Eiffel with match-types. IEEE. 37th International Conference on Technology of Object-Oriented Languages and Systems, 2000. TOOLS-Pacific 2000. Proceedings., Nov 2000, Sydney, Australia. pp.190 - 201, 2000, 〈10.1109/TOOLS.2000.891369〉. 〈hal-01152644〉

Partager

Métriques

Consultations de la notice

295

Téléchargements de fichiers

42