@INPROCEEDINGS{BettCapeDami:FTfJP-2009,
title = {{A Mechanisms for Flexible Dynamic Trait Replacement}},
author = {Bettini, Lorenzo and Capecchi, Sara and Damiani, Ferruccio},
booktitle = {FTfJP '09: Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs},
pages = {1-7},
abstract = {Dynamic trait replacement is a programming language feature for
changing the objects' behavior at runtime by replacing some of the
objects' methods. In previous work on dynamic trait replacement
for Java-like languages, the object's methods that may be replaced
must correspond exactly to a named trait used in the object's
class definition. In this paper we propose the notion of
replaceable: a programming language feature that decouples trait
replacement operation code and class declaration code, thus making
possible refactoring classes and/or performing unanticipated
trait replacement operations without invalidating existing code.},
year = {2009},
url = {http://rap.dsi.unifi.it/phpbibliography/files/dynamic_traits_FTFJP.pdf},
publisher = {ACM Digital Library},
}