Skip to main content alibris logo

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

by , ,

Write The First Customer Review
Aliasing in Object-Oriented Programming: Types, Analysis and Verification - Clarke, David, Dr. (Editor), and Wrigstad, Tobias (Editor), and Noble, James (Editor)
Filter Results
Item Condition
Seller Rating
Other Options
Change Currency

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.

loading
Aliasing in Object-Oriented Programming: Types, Analysis and Verification 2013, Springer, Berlin, Heidelberg

ISBN-13: 9783642369452

2013 edition

Trade paperback