Books

1 results found
Title Authors Description OpenBook ID
Aliasing in Object-Oriented Programming. Types, Analysis and Verification Aliasing in Object-Oriented Programming. Types, Analysis and Verification Dave Clarke This book presents a survey of the state-of-the-art on techniques for dealing with aliasing in object-oriented programming. It marks the 20th anniversary of the paper The Geneva Convention On The Tre… OL19825620W