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
pp.153–191
March, 2002
ACM
Abstract

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.

Keywords
SLURP
Language Design
Postscript of full publication (622 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.