Extending FeatherTrait Java with Interfaces

Luigi Liquori 1 Arnaud Spiwack 2, 3
3 TYPICAL - Types, Logic and computing
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, Polytechnique - X, CNRS - Centre National de la Recherche Scientifique : UMR
Abstract : In the context of Featherweight Java by Igarashi, Pierce, and Wadler, and its recent extension FeatherTrait Java (FTJ) by the authors, we investigate classes that can be extended with trait composition. A trait is a collection of methods, i.e. behaviors without state; it can be viewed as an "incomplete stateless class" ie, an interface with some already written behavior. Traits can be composed in any order, but only make sense when "imported" by a class that provides state variables and additional methods to disambiguate conflicting names arising between the imported traits. We introduce FeatherTrait Java with interfaces (iFTJ), where traits need to be typechecked only once, which is necessary for compiling them in isolation, and considering them as regular types, like Java-interfaces with a behavioral content.
Type de document :
Article dans une revue
Theoretical Computer Science, Elsevier, 2010, Theoretical Computer Science, 30 (1-3), pp.243-260. 〈10.1016/j.tcs.2008.01.051〉
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00432540
Contributeur : Arnaud Spiwack <>
Soumis le : lundi 16 novembre 2009 - 15:56:16
Dernière modification le : jeudi 11 janvier 2018 - 17:06:00
Document(s) archivé(s) le : jeudi 17 juin 2010 - 20:31:05

Fichier

TCS-60.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Luigi Liquori, Arnaud Spiwack. Extending FeatherTrait Java with Interfaces. Theoretical Computer Science, Elsevier, 2010, Theoretical Computer Science, 30 (1-3), pp.243-260. 〈10.1016/j.tcs.2008.01.051〉. 〈inria-00432540〉

Partager

Métriques

Consultations de la notice

211

Téléchargements de fichiers

113