Fickle: Dynamic object re-classification

Sophia Drossopoulou; Ferruccio Damiani; Mariangiola Dezani-Ciancaglini; Paola Giannini

doi:10.1007/3-540-45337-7_8

Fickle: Dynamic object re-classification

Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini

Dipartimento per lo Sviluppo Sostenibile e la Transizione Ecologica

Risultato della ricerca: Capitolo in libro/report/atti di convegno › Contributo a conferenza › peer review

Abstract

Re-classification changes at run-time the class membership of an object while retaining its identity. We suggest language features for object re-classification, which could extend an imperative, typed, class-based, object-oriented language. We present our proposal through the language Fickle. The imperative features combined with the requirement for a static and safe type system provided the main challenges. We develop a type and effect system for Fickle and prove its soundness with respect to the operational semantics. In particular, even though objects may be re-classified across classes with different members, they will never attempt to access non-existing members.

Lingua originale	Inglese
Titolo della pubblicazione ospite	ECOOP 2001 - Object-Oriented Programming
Sottotitolo della pubblicazione ospite	15th European Conference, Proceedings
Editor	Jorgen Lindskov Knudsen
Editore	Springer Verlag
Pagine	130-149
Numero di pagine	20
ISBN (stampa)	3540422064, 9783540422068
DOI	https://doi.org/10.1007/3-540-45337-7_8
Stato di pubblicazione	Pubblicato - 2001
Evento	15th European Conference on Object-Oriented Programming, ECOOP 2001 - Budapest, Hungary Durata: 18 giu 2001 → 22 giu 2001

Serie di pubblicazioni

Nome	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2072 LNCS
ISSN (stampa)	0302-9743
ISSN (elettronico)	1611-3349

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

???event.eventtypes.event.conference???	15th European Conference on Object-Oriented Programming, ECOOP 2001
Paese/Territorio	Hungary
Città	Budapest
Periodo	18/06/01 → 22/06/01

Accesso al documento

10.1007/3-540-45337-7_8

Altri file e collegamenti

Link to publication in Scopus

Cita questo

Drossopoulou, S., Damiani, F., Dezani-Ciancaglini, M., & Giannini, P. (2001). Fickle: Dynamic object re-classification. In J. L. Knudsen (A cura di), ECOOP 2001 - Object-Oriented Programming: 15th European Conference, Proceedings (pagg. 130-149). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2072 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-45337-7_8

Drossopoulou, Sophia ; Damiani, Ferruccio ; Dezani-Ciancaglini, Mariangiola et al. / Fickle : Dynamic object re-classification. ECOOP 2001 - Object-Oriented Programming: 15th European Conference, Proceedings. curatore / Jorgen Lindskov Knudsen. Springer Verlag, 2001. pagg. 130-149 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{5e6888a807404ea9a546208d15c40e85,

title = "Fickle: Dynamic object re-classification",

abstract = "Re-classification changes at run-time the class membership of an object while retaining its identity. We suggest language features for object re-classification, which could extend an imperative, typed, class-based, object-oriented language. We present our proposal through the language Fickle. The imperative features combined with the requirement for a static and safe type system provided the main challenges. We develop a type and effect system for Fickle and prove its soundness with respect to the operational semantics. In particular, even though objects may be re-classified across classes with different members, they will never attempt to access non-existing members.",

author = "Sophia Drossopoulou and Ferruccio Damiani and Mariangiola Dezani-Ciancaglini and Paola Giannini",

year = "2001",

doi = "10.1007/3-540-45337-7_8",

language = "English",

isbn = "3540422064",

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

publisher = "Springer Verlag",

pages = "130--149",

editor = "Knudsen, {Jorgen Lindskov}",

booktitle = "ECOOP 2001 - Object-Oriented Programming",

address = "Germany",

note = "15th European Conference on Object-Oriented Programming, ECOOP 2001 ; Conference date: 18-06-2001 Through 22-06-2001",

}

Drossopoulou, S, Damiani, F, Dezani-Ciancaglini, M & Giannini, P 2001, Fickle: Dynamic object re-classification. in JL Knudsen (a cura di), ECOOP 2001 - Object-Oriented Programming: 15th European Conference, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2072 LNCS, Springer Verlag, pagg. 130-149, 15th European Conference on Object-Oriented Programming, ECOOP 2001, Budapest, Hungary, 18/06/01. https://doi.org/10.1007/3-540-45337-7_8

Fickle: Dynamic object re-classification. / Drossopoulou, Sophia; Damiani, Ferruccio; Dezani-Ciancaglini, Mariangiola et al.
ECOOP 2001 - Object-Oriented Programming: 15th European Conference, Proceedings. a cura di / Jorgen Lindskov Knudsen. Springer Verlag, 2001. pag. 130-149 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2072 LNCS).

Risultato della ricerca: Capitolo in libro/report/atti di convegno › Contributo a conferenza › peer review

TY - GEN

T1 - Fickle

T2 - 15th European Conference on Object-Oriented Programming, ECOOP 2001

AU - Drossopoulou, Sophia

AU - Damiani, Ferruccio

AU - Dezani-Ciancaglini, Mariangiola

AU - Giannini, Paola

PY - 2001

Y1 - 2001

N2 - Re-classification changes at run-time the class membership of an object while retaining its identity. We suggest language features for object re-classification, which could extend an imperative, typed, class-based, object-oriented language. We present our proposal through the language Fickle. The imperative features combined with the requirement for a static and safe type system provided the main challenges. We develop a type and effect system for Fickle and prove its soundness with respect to the operational semantics. In particular, even though objects may be re-classified across classes with different members, they will never attempt to access non-existing members.

AB - Re-classification changes at run-time the class membership of an object while retaining its identity. We suggest language features for object re-classification, which could extend an imperative, typed, class-based, object-oriented language. We present our proposal through the language Fickle. The imperative features combined with the requirement for a static and safe type system provided the main challenges. We develop a type and effect system for Fickle and prove its soundness with respect to the operational semantics. In particular, even though objects may be re-classified across classes with different members, they will never attempt to access non-existing members.

UR - http://www.scopus.com/inward/record.url?scp=84881378949&partnerID=8YFLogxK

U2 - 10.1007/3-540-45337-7_8

DO - 10.1007/3-540-45337-7_8

M3 - Conference contribution

AN - SCOPUS:84881378949

SN - 3540422064

SN - 9783540422068

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

SP - 130

EP - 149

BT - ECOOP 2001 - Object-Oriented Programming

A2 - Knudsen, Jorgen Lindskov

PB - Springer Verlag

Y2 - 18 June 2001 through 22 June 2001

ER -

Drossopoulou S, Damiani F, Dezani-Ciancaglini M, Giannini P. Fickle: Dynamic object re-classification. In Knudsen JL, curatore, ECOOP 2001 - Object-Oriented Programming: 15th European Conference, Proceedings. Springer Verlag. 2001. pag. 130-149. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-45337-7_8

Fickle: Dynamic object re-classification

Abstract

Serie di pubblicazioni

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

Accesso al documento

Altri file e collegamenti

Fingerprint

Cita questo