A type preserving translation of Fickle into Java: (Extended Abstract)

Ancona, D.; Anderson, C.; Damiani, Ferruccio; Drossopoulou, S.; Giannini, P.; Zucca, E.

doi:10.1016/S1571-0661(04)00320-2

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:	D. Ancona C. Anderson DAMIANI, Ferruccio S. Drossopoulou P. Giannini E. Zucca mostra contributor esterni nascondi contributor esterni
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.

Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/2318/105538

Citazioni

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

CINECA IRIS Institutional Research Information System

File in questo prodotto: