Computing Publications

Publications Home » Fickle: Dynamic Object Re-classif...

Fickle: Dynamic Object Re-classification

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

Conference or Workshop Paper
15 European Conference on Object-Oriented Programming (ECOOP 2001)
Eurepean Conference for Object-Oriented Programming
pp.130–149
June, 2001
Springer Verlag
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. (Fickle is the successor of an earlier proposal, Fickle-99; although both Fickle and Fickle-99 address the same requirement for object re-classification, the approaches are very different).

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.

Keywords
SLURP
Language Design
Postscript of full publication (258 kilobytes)
(need help viewing Postscript files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.