S. Drossopoulou, F. Damiani, M. Dezani-Ciancaglini, and
P. Giannini
More dynamic object re-classification:
FickleII
ACM Trans. on Prog. Langs. & Systs., 24(2):153-191,
March 2002
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.
[ bib |
.pdf ]
Back
This file has been generated by
bibtex2html 1.43