Match-O, a dialect of Eiffel with match-types - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2000

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


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.
Fichier principal
Vignette du fichier
2000-tools-00.pdf (261.54 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01152644 , version 1 (18-05-2015)



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



Gmail Facebook Twitter LinkedIn More