TY - JOUR AU - Bettini, Lorenzo AU - Capecchi, Sara AU - Venneri, Betti TI - Dynamic overloading with copy semantics in object-oriented languages : a formal account JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 2009 DA - 2009/// SP - 517 EP - 565 VL - 43 IS - 3 PB - EDP-Sciences UR - http://www.numdam.org/articles/10.1051/ita/2009008/ UR - https://zbmath.org/?q=an%3A1175.68094 UR - https://www.ams.org/mathscinet-getitem?mr=2541130 UR - https://doi.org/10.1051/ita/2009008 DO - 10.1051/ita/2009008 LA - en ID - ITA_2009__43_3_517_0 ER -