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. ( Theoretical Computer Science, 9th Italian Conference, ICTCS 2005 Siena, Italy 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.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
