F. Damiani, M. Dezani-Ciancaglini, S. Drossopoulou, and
P. Giannini
Refined effects for re-classification:
FickleIII
Internal report, December 2002
Re-classification changes at run-time the class
membership of
an object while retaining its identity.
In our previous work on the language
FickleII [?]
we suggest language
features for
object re-classification, which could extend an imperative,
typed,
class-based, object-oriented language.
In this paper we present the language FickleIII, which improves
FickleII with a more expressive type and effect system.
FickleIII allows to correctly type
meaningful programs which FickleII reject. This is done by
taking into account the
initial and the final class of each re-classification.
The syntax
of FickleIII and the syntax of FickleII differ only in the effect
annotations occurring in methods' signatures (every FickleII-style
effect annotation can be coded into a FickleIII-style effect
annotation, but not vice versa). The operational semantics (which
ignores effect annotations) is unchanged.
[ bib |
.pdf ]
Back
This file has been generated by
bibtex2html 1.43