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

by David Clarke

2021-06-06 06:56:00

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 Treatment of Object Aliasing by John Hogg, Doug Lea, A... Read more
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 Treatment of Object Aliasing by John Hogg, Doug Lea, Alan Wills, Dennis de Champeaux and Richard Holt. The 22 revised papers were carefully reviewed to ensure the highest quality.The contributions are organized in topical sections on the Geneva convention, ownership, concurrency, alias analysis, controlling effects, verification, programming languages, and visions. Less

Book Details

ISBN9783642369452
David Clarke teaches A level psychology and is an A level examiner. Since 1993 he has been a principal examiner for the OCR examining board....

Compare Prices

Store Availability Book Format Condition Price
Indigo Books & Music In Stock Buy CAD 109.45
Indigo Books & MusicIn Stock
Format
Condition
Buy CAD 109.45
Available Discount
No Discount available

Join us and get access to all
your favourite books

Sign up for free and start exploring thousands of eBooks today.

Sign up for free