TY - GEN
T1 - An effective translation of Fickle into java (extended abstract)
AU - Ancona, Davide
AU - Anderson, Christopher
AU - Damiani, Ferruccio
AU - Drossopoulou, Sophia
AU - Giannini, Paola
AU - Zucca, Elena
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2001.
PY - 2001
Y1 - 2001
N2 - 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 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 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.
AB - 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 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 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.
UR - http://www.scopus.com/inward/record.url?scp=0346925668&partnerID=8YFLogxK
U2 - 10.1007/3-540-45446-2_14
DO - 10.1007/3-540-45446-2_14
M3 - Conference contribution
AN - SCOPUS:0346925668
SN - 9783540454465
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 215
EP - 234
BT - Theoretical Computer Science - 7th Italian Conference, ICTCS 2001, Proceedings
A2 - Restivo, Antonio
A2 - Rocca, Simona Ronchi Della
A2 - Roversi, Luca
PB - Springer Verlag
T2 - 7th Italian Conference on Theoretical Computer Science, ICTCS 2001
Y2 - 4 October 2001 through 6 October 2001
ER -