More dynamic object reclassification: Fickle||

  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.},
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



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.