Beyond the Geneva Convention on the Treatment of Object Aliasing

Dave Clarke, James Noble, Tobias Wrigstad. Beyond the Geneva Convention on the Treatment of Object Aliasing. In Dave Clarke, James Noble, Tobias Wrigstad, editors, Aliasing in Object-Oriented Programming. Types, Analysis and Verification. Volume 7850 of Lecture Notes in Computer Science, pages 1-6, Springer, 2013. [doi]

Abstract

Abstract is missing.