Paper Info
Title
Chai: traits for Java-like languages
Abstract
Traits support the factoring out of common behaviour, and its integration into classes in a manner that coexists smoothly with inheritance-based structuring mechanisms. We designed the language Chai, which incorporates statically typed traits into a simple Java-inspired base language, and we discuss three versions of the language: Chai1, where traits are only a mechanism for the creation of classes; Chai2 where traits are a mechanism for the creation of classes, and can also introduce types, and Chai3 where traits play a role at runtime, and can can be applied to objects, and change the objects' behaviour. We give formal models for these languages, outline the proof of soundness, and our prototype implementation.
Year
DOI
Venue
2005
10.1007/11531142_20
ECOOP
Keywords
Field
DocType
java-like language,common behaviour,prototype implementation,inheritance-based structuring mechanism,simple java-inspired base language,language chai,formal model
Programming language,Formal language,Object-oriented programming,Computer science,Formal specification,Soundness,Structuring,Java,Factoring,Software development
Conference
Volume
ISSN
ISBN
3586
0302-9743
3-540-27992-X
Citations 
PageRank 
References 
43
1.26
8
Authors
2
Name
Order
Citations
PageRank
Charles Smith1431.26
Sophia Drossopoulou2101690.55