An effective translation of Fickle into java (extended abstract)

Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca

Risultato della ricerca: Capitolo in libro/report/atti di convegnoContributo a conferenzapeer review

Abstract

We present a translation from Fickle (a Java-like language allowing dynamic object re-classification, that is, objects that can change their class at run-time) into plain Java. The translation is proved to preserve static and dynamic semantics; moreover, it is shown to be effective, in the sense that the translation of a Fickle class does not depend on the implementation of used classes, hence can be done in a separate way, that is, without having their sources, exactly as it happens for Java compilation. The aim is to demonstrate that an extension of Java supporting dynamic object re-classification could be fully compatible with the existing Java environment.

Lingua originaleInglese
Titolo della pubblicazione ospiteTheoretical Computer Science - 7th Italian Conference, ICTCS 2001, Proceedings
EditorAntonio Restivo, Simona Ronchi Della Rocca, Luca Roversi
EditoreSpringer Verlag
Pagine215-234
Numero di pagine20
ISBN (stampa)9783540454465
DOI
Stato di pubblicazionePubblicato - 2001
Evento7th Italian Conference on Theoretical Computer Science, ICTCS 2001 - Torino, Italy
Durata: 4 ott 20016 ott 2001

Serie di pubblicazioni

NomeLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2202
ISSN (stampa)0302-9743
ISSN (elettronico)1611-3349

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???7th Italian Conference on Theoretical Computer Science, ICTCS 2001
Paese/TerritorioItaly
CittàTorino
Periodo4/10/016/10/01

Fingerprint

Entra nei temi di ricerca di 'An effective translation of Fickle into java (extended abstract)'. Insieme formano una fingerprint unica.

Cita questo