An effective translation of Fickle into java (extended abstract)

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

doi:10.1007/3-540-45446-2_14

An effective translation of Fickle into java (extended abstract)

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

Department of Sustainable Development and Ecological Transition

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-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.

Original language	English
Title of host publication	Theoretical Computer Science - 7th Italian Conference, ICTCS 2001, Proceedings
Editors	Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi
Publisher	Springer Verlag
Pages	215-234
Number of pages	20
ISBN (Print)	9783540454465
DOIs	https://doi.org/10.1007/3-540-45446-2_14
Publication status	Published - 2001
Event	7th Italian Conference on Theoretical Computer Science, ICTCS 2001 - Torino, Italy Duration: 4 Oct 2001 → 6 Oct 2001

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2202
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	7th Italian Conference on Theoretical Computer Science, ICTCS 2001
Country/Territory	Italy
City	Torino
Period	4/10/01 → 6/10/01

Access to Document

10.1007/3-540-45446-2_14

Cite this

Ancona, D., Anderson, C., Damiani, F., Drossopoulou, S., Giannini, P., & Zucca, E. (2001). An effective translation of Fickle into java (extended abstract). In A. Restivo, S. R. D. Rocca, & L. Roversi (Eds.), Theoretical Computer Science - 7th Italian Conference, ICTCS 2001, Proceedings (pp. 215-234). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2202). Springer Verlag. https://doi.org/10.1007/3-540-45446-2_14

Ancona, Davide ; Anderson, Christopher ; Damiani, Ferruccio et al. / An effective translation of Fickle into java (extended abstract). Theoretical Computer Science - 7th Italian Conference, ICTCS 2001, Proceedings. editor / Antonio Restivo ; Simona Ronchi Della Rocca ; Luca Roversi. Springer Verlag, 2001. pp. 215-234 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{e0fec7ac42f14fb0875a70098adfd2fc,

title = "An effective translation of Fickle into java (extended abstract)",

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.",

author = "Davide Ancona and Christopher Anderson and Ferruccio Damiani and Sophia Drossopoulou and Paola Giannini and Elena Zucca",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2001.; 7th Italian Conference on Theoretical Computer Science, ICTCS 2001 ; Conference date: 04-10-2001 Through 06-10-2001",

year = "2001",

doi = "10.1007/3-540-45446-2\_14",

language = "English",

isbn = "9783540454465",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "215--234",

editor = "Antonio Restivo and Rocca, \{Simona Ronchi Della\} and Luca Roversi",

booktitle = "Theoretical Computer Science - 7th Italian Conference, ICTCS 2001, Proceedings",

address = "Germany",

}

Ancona, D, Anderson, C, Damiani, F, Drossopoulou, S, Giannini, P & Zucca, E 2001, An effective translation of Fickle into java (extended abstract). in A Restivo, SRD Rocca & L Roversi (eds), Theoretical Computer Science - 7th Italian Conference, ICTCS 2001, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2202, Springer Verlag, pp. 215-234, 7th Italian Conference on Theoretical Computer Science, ICTCS 2001, Torino, Italy, 4/10/01. https://doi.org/10.1007/3-540-45446-2_14

An effective translation of Fickle into java (extended abstract). / Ancona, Davide; Anderson, Christopher; Damiani, Ferruccio et al.
Theoretical Computer Science - 7th Italian Conference, ICTCS 2001, Proceedings. ed. / Antonio Restivo; Simona Ronchi Della Rocca; Luca Roversi. Springer Verlag, 2001. p. 215-234 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2202).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - An effective translation of Fickle into java (extended abstract)

AU - Ancona, Davide

AU - Anderson, Christopher

AU - Damiani, Ferruccio

AU - Drossopoulou, Sophia

AU - Giannini, Paola

AU - Zucca, Elena

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 2001.

PY - 2001

Y1 - 2001

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/0346925668

U2 - 10.1007/3-540-45446-2_14

DO - 10.1007/3-540-45446-2_14

M3 - Conference contribution

AN - SCOPUS:0346925668

SN - 9783540454465

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 215

EP - 234

BT - Theoretical Computer Science - 7th Italian Conference, ICTCS 2001, Proceedings

A2 - Restivo, Antonio

A2 - Rocca, Simona Ronchi Della

A2 - Roversi, Luca

PB - Springer Verlag

T2 - 7th Italian Conference on Theoretical Computer Science, ICTCS 2001

Y2 - 4 October 2001 through 6 October 2001

ER -

Ancona D, Anderson C, Damiani F, Drossopoulou S, Giannini P, Zucca E. An effective translation of Fickle into java (extended abstract). In Restivo A, Rocca SRD, Roversi L, editors, Theoretical Computer Science - 7th Italian Conference, ICTCS 2001, Proceedings. Springer Verlag. 2001. p. 215-234. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-45446-2_14

An effective translation of Fickle into java (extended abstract)

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this