Research on "Formal Methods in Computing"

A provenly correct translation of Fickle into Java

Work partially supported by DART (IST-2001-33477) and APPSEM II (Thematic network IST-2001-38957)

ABSTRACT. We present a translation from Fickle , a small object-oriented language allowing objects to change their class at run-time, into Java. The translation is provenly correct, in the sense that we have shown it to preserve the static and dynamic semantics. Moreover, it is compatible with separate compilation, since the translation of a Fickle class does not depend on the implementation of used classes. Based on the formal system, we have developed an implementation .

• pdf

BIBTEX.

@techreport{AnconaAndersonDamianiDrossopoulouGianniniZucca:DART-03,
   author      = {D. Ancona and C. Anderson and F. Damiani and
                  S. Drossopoulou and P. Giannini and E. Zucca},
   title       = {A provenly correct translation of Fickle into Java},
   year        = {2003},
   institution = {Part of Deliverable 4.2 of IST-2001-33477 (DART) project
		  - http://www.cee.hw.ac.uk/DART/}
}