Reclassification changes the class membership of an object at run-time while retaining its identity. We suggest language features for object reclassification, which extend an imperative, typed, classbased, 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 reclassified across classes with different members, there will never be an attempt to access nonexisting members.
More dynamic object reclassification: Fickle II
DAMIANI, Ferruccio;DEZANI, Mariangiola;
2002-01-01
Abstract
Reclassification changes the class membership of an object at run-time while retaining its identity. We suggest language features for object reclassification, which extend an imperative, typed, classbased, 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 reclassified across classes with different members, there will never be an attempt to access nonexisting members.File | Dimensione | Formato | |
---|---|---|---|
TOPLAS-2002.pdf
Accesso riservato
Descrizione: Articolo principale (rivista)
Tipo di file:
PDF EDITORIALE
Dimensione
357.04 kB
Formato
Adobe PDF
|
357.04 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.