Aliasing in Object-oriented Programming: Types, Analysis and Verification - Lecture Notes in Computer Science / Programming and Software Engineering - David Clarke - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642369452 - March 26, 2013
In case cover and title do not match, the title is correct

David Clarke
Aliasing in Object-oriented Programming: Types, Analysis and Verification - Lecture Notes in Computer Science / Programming and Software Engineering

Price
A$ 84.99
excl. VAT

Ordered from remote warehouse

Expected delivery Jan 8 - 19, 2026
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

523 pages, 134 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released March 26, 2013
ISBN13 9783642369452
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 523
Dimensions 156 × 234 × 26 mm   ·   725 g
Language German  
Editor Clarke, David
Editor Noble, James
Editor Wrigstad, Tobias

More by David Clarke

Show all

See all of David Clarke ( e.g. Paperback Book , Hardcover Book , Book , CD and LP )