.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Aliasing in Object-Oriented Programming: Types, Analysis and Verification (Lecture Notes in Computer Science / Programming and Software Engineering)
N/A
€ 69.19
FREE Delivery in Ireland
Description for Aliasing in Object-Oriented Programming: Types, Analysis and Verification (Lecture Notes in Computer Science / Programming and Software Engineering)
Paperback.
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.
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.
Product Details
Format
Paperback
Publication date
2013
Publisher
Springer
Condition
New
Number of Pages
515
Place of Publication
Berlin, Germany
ISBN
9783642369452
SKU
V9783642369452
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Aliasing in Object-Oriented Programming: Types, Analysis and Verification (Lecture Notes in Computer Science / Programming and Software Engineering)