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 environment.