L. Bettini, V. Bono, and S. Likavec
Safe object composition in the presence of
subtyping
In Proceedings of ICTCS 2005, LNCS Springer-Verlag, 2005
To appear
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 alternative ones.
[ bib |
.pdf ]
Back
This file has been generated by
bibtex2html 1.43