Charles Smith and Sophia Drossopoulou
Typed
traits for java
In ECOOP'05 - European Conference on Object-Oriented
Programming, Lecture Notes in Computer Science Springer, 2005
To appear
Traits support the factoring out
of common behaviour, and its integration
into classes in a manner which smoothly coexists with inheritance-based
structuring mechanisms.
We designed the language Chai, which incorporates
statically typed traits into Java, 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.
[ bib |
.pdf ]
Back
This file has been generated by
bibtex2html 1.43