A provenly correct translation of Fickle into Java

  title={A provenly correct translation of Fickle into Java},
  author={Davide Ancona and Christopher Anderson and Ferruccio Damiani and Sophia Drossopoulou and Paola Giannini and Elena Zucca},
  journal={ACM Trans. Program. Lang. Syst.},
We present a translation from Fickle, a small object-oriented language allowing objects to change their class at runtime, into Java. The translation is provenly correct in the sense that it preserves 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. The translation turned out to be a more subtle… CONTINUE READING
6 Citations
4 References
Similar Papers


Publications referenced by this paper.
Showing 1-4 of 4 references

Isabella-Fickle translator

  • http://www.macs.hw.ac.uk/DART/software/isabella…
  • 2003
Highly Influential
17 Excerpts

Implementing Fickle

  • Thesis, Imperial College.
  • 2001
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…