Computing Publications

Publications Home » More Dynamic Object Re-classifica...

More Dynamic Object Re-classification: FickleII

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

Journal Article
ACM Transactions On Programming Languages and Systems
March, 2002

Re-classification changes the class membership of an object at run-time 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 FickleII. 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 FickleII 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.

Language Design
Postscript of full publication (622 kilobytes)
(need help viewing Postscript files?)
BibTEX file for the publication
Conditions for downloading publications from this site. built & maintained by Ashok Argent-Katwala.