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.
2009
Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs
11th Workshop on Formal Techniques for Java-like Programs FTfJP 2009
Genova, Italy
July 6
Lorenzo Bettini; Sara Capecchi; Ferruccio Damiani
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/1039560
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? ND
social impact