An Effective Translation of Fickle into Java

Authors:
Davide Ancona;Christopher Anderson;Ferruccio Damiani;Sophia Drossopoulou;Paola Giannini;Elena Zucca
Affiliations:
-;-;-;-;-;-
Venue:
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Year:
2001

Citing 5
Cited 2

Predicate Classes

ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Predicate Dispatching: A Unified Theory of Dispatch

ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
Wide Classes

ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Jam - A Smooth Extension of Java with Mixins

ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Fickle: Dynamic Object Re-classification

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming

More dynamic object reclassification: Fickle∥

ACM Transactions on Programming Languages and Systems (TOPLAS)
A provenly correct translation of Fickle into Java

ACM Transactions on Programming Languages and Systems (TOPLAS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.