Aliasing in Object-Oriented Programming: Types, Analysis and Verification (Lecture Notes in Computer Science / Programming and Software Engineering)

by Dave Clarke

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.

Paperback

First published April 1, 2013