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.
Complete list of metadatas

Cited literature [27 references]  Display  Hide  Download

https://hal.inria.fr/hal-01152644
Contributor : Luigi Liquori <>
Submitted on : Monday, May 18, 2015 - 1:15:22 PM
Last modification on : Saturday, January 27, 2018 - 1:30:50 AM
Long-term archiving on : Thursday, April 20, 2017 - 1:47:11 AM

File

2000-tools-00.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

420

Files downloads

109