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 a View the Fickle object to its Java counterpart. The translation, which is proven to preserve both the static and the dynamic semantics of the language, is an enhanced version of a previous proposal by the same authors.
Titolo: | A type preserving translation of Fickle into Java: (Extended Abstract) | |
Autori Riconosciuti: | ||
Autori: | D. Ancona; C. Anderson; F. Damiani; S. Drossopoulou; P. Giannini; E. Zucca | |
Data di pubblicazione: | 2002 | |
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 a View the Fickle object to its Java counterpart. The translation, which is proven to preserve both the static and the dynamic semantics of the language, is an enhanced version of a previous proposal by the same authors. | |
Volume: | 62 | |
Pagina iniziale: | 69 | |
Pagina finale: | 82 | |
Nome del convegno: | TOSCA 2001 - Theory of Concurrency, Higher Order Languages and Types | |
Luogo del convegno: | Udine, Italy | |
Anno del convegno: | November 19-21, 2001 | |
Digital Object Identifier (DOI): | 10.1016/S1571-0661(04)00320-2 | |
Parole Chiave: | Object oriented programming; Program compilers; Semantics; Java programming language | |
Rivista: | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | |
Appare nelle tipologie: | 04B-Conference paper in rivista |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.