More dynamic object reclassification: Fickle||

@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}
}
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, class-based, object-oriented language.We present our proposal through the language Fickle⋄⋄. 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… CONTINUE READING
Highly Cited
This paper has 82 citations. REVIEW CITATIONS

5 Figures & Tables

Topics

Statistics

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

83 Citations

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

See our FAQ for additional information.