Research on "Formal Methods in Computing"

An type preserving translation of Fickle into Java

Work partially supported by MURST Cofin '99 TOSCA Project, CNR-GNSAGA, and the EPSRC (Grant Ref: GR/L 76709).

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 enhaced version of a previous proposal by the same aurhors .

• ps , pdf

BIBTEX.

@inproceedings{AnconaAndersonDamianiDrossopoulouGianniniZucca:TOSCA-01,
   author    = {D. Ancona and C. Anderson and F. Damiani and
                S. Drossopoulou and P. Giannini and E. Zucca},
   title     = {An type preserving translation of Fickle into Java },
   booktitle = {TOSCA'01},
   year      = {2002},
   volume    = {62},
   publisher = {Elsevier},
   pages     = {},
   series    = {ENTCS}
}