Object composition arises as a natural operation to combine objects in an object-based setting. In our incomplete objects setting it has a strong meaning, as it may combine objects with different internal states. In this paper we study how to make object composition safe in the presence of width subtyping, we propose two solutions, and discuss the alternative ones.
Safe object composition in the presence of subtyping / L. BETTINI; V. BONO; S. LIKAVEC. - STAMPA. - Vol. 3701:(2005), pp. 128-142. (Intervento presentato al convegno Theoretical Computer Science, 9th Italian Conference, ICTCS 2005 tenutosi a Siena, Italy nel October 12-14, 2005) [10.1007/11560586_11].
Safe object composition in the presence of subtyping
BETTINI, LORENZO;
2005
Abstract
Object composition arises as a natural operation to combine objects in an object-based setting. In our incomplete objects setting it has a strong meaning, as it may combine objects with different internal states. In this paper we study how to make object composition safe in the presence of width subtyping, we propose two solutions, and discuss the alternative ones.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
