%0 Journal Article %A Bettini, Lorenzo %A Capecchi, Sara %A Venneri, Betti %T Dynamic overloading with copy semantics in object-oriented languages : a formal account %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 2009 %P 517-565 %V 43 %N 3 %I EDP-Sciences %U http://www.numdam.org/articles/10.1051/ita/2009008/ %R 10.1051/ita/2009008 %G en %F ITA_2009__43_3_517_0