Extending FeatherTrait Java with Interfaces - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Theoretical Computer Science Année : 2008

Extending FeatherTrait Java with Interfaces

Résumé

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.
Fichier principal
Vignette du fichier
TCS-60.pdf (250.74 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00432540 , version 1 (16-11-2009)

Identifiants

Citer

Luigi Liquori, Arnaud Spiwack. Extending FeatherTrait Java with Interfaces. Theoretical Computer Science, 2008, Theoretical Computer Science, 30 (1-3), pp.243-260. ⟨10.1016/j.tcs.2008.01.051⟩. ⟨inria-00432540⟩
275 Consultations
134 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More