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 it possible refactoring classes and/or performing unanticipated trait replacement operations without invalidating existing code.
A Mechanisms for Flexible Dynamic Trait Replacement / Lorenzo Bettini; Sara Capecchi; Ferruccio Damiani. - ELETTRONICO. - (2009), pp. 9:1-9:7. (Intervento presentato al convegno 11th Workshop on Formal Techniques for Java-like Programs FTfJP 2009 tenutosi a Genova, Italy nel July 6) [10.1145/1557898.1557907].
A Mechanisms for Flexible Dynamic Trait Replacement
BETTINI, LORENZO;
2009
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 it possible refactoring classes and/or performing unanticipated trait replacement operations without invalidating existing code.I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.