More dynamic object reclassification: Fickle||

Abstract

<i>Reclassification</i> 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, class-based, object-oriented language.We present our proposal through the language <i>Fickle</i><inf>&diam;&diam;</inf>. 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 <i>Fickle</i><inf>&diam;&diam;</inf> 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.

DOI: 10.1145/514952.514955

3 Figures and Tables

Statistics

051015'02'04'06'08'10'12'14'16
Citations per Year

81 Citations

Semantic Scholar estimates that this publication has 81 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Drossopoulou2002MoreDO, title={More dynamic object reclassification: Fickle||}, author={Sophia Drossopoulou and Ferruccio Damiani and Mariangiola Dezani-Ciancaglini and Paola Giannini}, journal={ACM Trans. Program. Lang. Syst.}, year={2002}, volume={24}, pages={153-191} }