Sophia Drossopoulou, Ferruccio Damiani, Dezani Dezani-Ciancaglini, Paola Giannini
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.
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.