Aliasing in object-oriented programming : types, analysis and verification

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. T...

Celý popis

Uloženo v:
Podrobná bibliografie
Další autoři: Clarke, David (Šéfredaktor, odpovědný redaktor), Wrigstad, Tobias (Šéfredaktor, odpovědný redaktor), Noble, James (Šéfredaktor, odpovědný redaktor)
Médium: Livre numérique
Jazyk:Anglais
Vydáno: Berlin, Heidelberg : Springer Berlin Heidelberg [20..].
Cham : Springer Nature
Vydání:1st ed. 2013.
Edice:Programming and Software Engineering 7850
On-line přístup:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Poznámka: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Aliasing in object-oriented programming, types, analysis and verification, 9783642369452
• Aliasing in Object-Oriented Programming, Texte imprimé, 9783642369476

Internet

Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL