A mechanism for flexible dynamic trait replacement

Authors:
Lorenzo Bettini;Sara Capecchi;Ferruccio Damiani
Affiliations:
Università di Torino, Torino, Italy;Università di Torino, Torino, Italy;Università di Torino, Torino, Italy
Venue:
Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs
Year:
2009

Citing 16
Cited 3

Self: The power of simplicity

OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Mixin-based inheritance

OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Organizing programs without classes

Lisp and Symbolic Computation
Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Classes and mixins

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A debate on language and tool support for design patterns

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Featherweight Java: a minimal core calculus for Java and GJ

ACM Transactions on Programming Languages and Systems (TOPLAS)
More dynamic object reclassification: Fickle∥

ACM Transactions on Programming Languages and Systems (TOPLAS)
An Imperative Object Calculus

TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Jam---designing a Java extension with mixins

ACM Transactions on Programming Languages and Systems (TOPLAS)
Traits: A mechanism for fine-grained reuse

ACM Transactions on Programming Languages and Systems (TOPLAS)
FeatherTrait: A modest extension of Featherweight Java

ACM Transactions on Programming Languages and Systems (TOPLAS)
Type safe dynamic object delegation in class-based languages

Proceedings of the 6th international symposium on Principles and practice of programming in Java
Whiteoak: introducing structural typing into java

Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Chai: traits for Java-like languages

ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Metaprogramming with traits

ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming

Typestate-oriented programming

Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
First-class state change in plaid

Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
On flexible dynamic trait replacement for Java-like languages

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

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.