Aliasing in Object-Oriented Programming: Types, Analysis and Verification

by Dave Clarke (Editor), Tobias Wrigstad (Editor), James Noble (Editor)

This book surveys state-of-the-art techniques for dealing with aliasing in object-oriented programming, presenting 22 papers on the Geneva convention, ownership, concurrency, alias analysis, controlling effects, verification, programming languages and visions.

523 pages, Paperback

First published April 1, 2013