Faites connaître cet article à vos amis:
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
| Médias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
| Validé | 26 mars 2013 |
| ISBN13 | 9783642369452 |
| Éditeurs | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 523 |
| Dimensions | 156 × 234 × 26 mm · 725 g |
| Langue et grammaire | Allemand |
| Éditeur | Clarke, David |
| Éditeur | Noble, James |
| Éditeur | Wrigstad, Tobias |
Plus par David Clarke
Afficher toutVoir tous les David Clarke ( par ex. Paperback Book , Hardcover Book , Book , CD et LP )
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier