Computing Publications

Publications Home » A type preserving translation of ...

A type preserving translation of Fickle into Java

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

Conference or Workshop Paper
September, 2002
Volume 62

We present a translation from Fickle (a Java-like language allowing objects that can change their class at run-time) into plain Java. The translation, which maps any Fickle class into a Java class, is driven by an invariant that relates the Fickle object to its Java counterpart. The translation, which is proved to preserve both the static and the dynamic semantics of the language, is an enhanced version of a previous proposal by the same authors.

Language Design
PDF of full publication (272 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
Conditions for downloading publications from this site. built & maintained by Ashok Argent-Katwala.