Computing Publications

Publications Home » An Effective Translation of Fickl...

An Effective Translation of Fickle into Java

Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca

Conference or Workshop Paper
7th Italian Conference on Theoretical Computer Science, ICTCS 2001, Torino, Italy, October 4-6, 2001
October, 2001
Lecture Notes in Computer Science
Volume 2202
pp.215–234
Springer
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.

Keywords
SLURP
Language Design
Postscript of full publication (483 kilobytes)
(need help viewing Postscript files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.