More dynamic object reclassification-Reference-Cited by-同舟云学术

More dynamic object reclassification

Published:2002-03 Issue:2 Volume:24 Page:153-191
ISSN:0164-0925
Container-title:ACM Transactions on Programming Languages and Systems
language:en
Short-container-title:ACM Trans. Program. Lang. Syst.

Author:

Drossopoulou Sophia¹,Damiani Ferruccio²,Dezani-Ciancaglini Mariangiola²,Giannini Paola³

Affiliation:

1. Imperial College, London, U.K.

2. Università di Torino, Torino, Italy

3. Università del Piemonte Orientale, Alessandria, Italy

Abstract

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

Publisher

Association for Computing Machinery (ACM)

Subject

Software

Link

https://dl.acm.org/doi/pdf/10.1145/514952.514955

Reference41 articles.

1. Abadi M. and Cardelli L. 1996. A Theory of Objects. Springer Berlin.]] Abadi M. and Cardelli L. 1996. A Theory of Objects. Springer Berlin.]]

2. Agesen O. Bak L. Chambers C. Chang B. Hölzle U. Maloney J. Smith R. and Ungar D. 1992. The SELF Programmers's Reference Manual version 2.0. Tech. rep. SUN Microsystems.]] Agesen O. Bak L. Chambers C. Chang B. Hölzle U. Maloney J. Smith R. and Ungar D. 1992. The SELF Programmers's Reference Manual version 2.0. Tech. rep. SUN Microsystems.]]

3. Type inference of SELF: Analysis of objects with dynamic and multiple inheritance

4. Ancona D. Anderson C. Damiani F. Drossopoulou S. Giannini P. and Zucca E. 2002. Translating Fickle⋄⋄ into Java. In preparation.]] Ancona D. Anderson C. Damiani F. Drossopoulou S. Giannini P. and Zucca E. 2002. Translating Fickle⋄⋄ into Java. In preparation.]]

Cited by 44 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Containerless Plurals: Separating Number from Type in Object-Oriented Programming;ACM Transactions on Programming Languages and Systems;2022-09-21

2. Fixing Classification: A Viewpoint-Based Approach;Lecture Notes in Computer Science;2021

3. Can advanced type systems be usable? An empirical study of ownership, assets, and typestate in Obsidian;Proceedings of the ACM on Programming Languages;2020-11-13

4. Obsidian;ACM Transactions on Programming Languages and Systems;2020-09-30

5. Dynamic structural operational semantics;Journal of Logical and Algebraic Methods in Programming;2019-10