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
TOSCA'01
September, 2002
ENTCS
Volume 62
Elsevier
Abstract

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.

Keywords
SLURP
Language Design
PDF of full publication (272 kilobytes)
(need help viewing PDF 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.