Title An effective translation of Fickle into Java
Authors Davide Ancona, DISI, Universita'di Genova
Christopher Anderson, Imperial College, London
Ferruccio Damiani, Dipartimento di Informatica, Universita'di Torino
Sophia Drossopoulou, Imperial College, London
Paola Giannini, DISTA, Universita'del Piemonte Orientale
Elena Zucca, DISI, Universita'di Genova
Main Fields 22. semantics of programming
23. languages
Other Main Fields Object-Oriented languages
Abstract + Keywords We present a translation from Fickle (a Java-like language
allowing dynamic object re-classification, that is, objects that
can change their class at run-time) into plain Java. The
translation is proved to preserve static and dynamic semantics;
moreover, it is shown to be \emph{effective}, in the sense that
the translation of a Fickle class does not depend on the
implementation of used classes, hence can be done in a
\emph{separate} way, that is, without having their sources,
exactly as it happens for Java compilation. The aim is to
demonstrate that an extension of Java supporting dynamic object
re-classification could be fully compatible with the existing Java