
Vertel uw vrienden over dit artikel:
Aliasing in Object-oriented Programming: Types, Analysis and Verification - Lecture Notes in Computer Science / Programming and Software Engineering
David Clarke
Aliasing in Object-oriented Programming: Types, Analysis and Verification - Lecture Notes in Computer Science / Programming and Software Engineering
David Clarke
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 | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
Vrijgegeven | 26 maart 2013 |
ISBN13 | 9783642369452 |
Uitgevers | Springer-Verlag Berlin and Heidelberg Gm |
Pagina's | 523 |
Afmetingen | 156 × 234 × 26 mm · 725 g |
Taal en grammatica | Duits |
Uitgever | Clarke, David |
Uitgever | Noble, James |
Uitgever | Wrigstad, Tobias |
Alles tonen
Meer door David Clarke
Bekijk alles van David Clarke ( bijv. Paperback Book , Hardcover Book , Book , CD en 12" )