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 85 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 54 extracted citations

86 Citations

Citations per Year
Semantic Scholar estimates that this publication has 86 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-8 of 8 references

Predicate Classes

  • C. Chambers
  • ECOOP’93. LNCS, vol. 707. Springer, Berlin, 268…
  • 1993
Highly Influential
5 Excerpts

Modula-3 Report (revised)

  • L. Cardelli, J. Donahue, L. Glassman, M. Jordan, B. Kalsow, G. Nelson
  • Tech. rep., DEC System Research Center.
  • 1989
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…