Ihr Marktplatz für antiquarische und neue Bücher | Login | Neu registrieren Registrieren
Buchfreund als App
Aliasing in Object-Oriented Programming  - Types, Analysis and Verification
Beispielbild für diese ISBN

Aliasing in Object-Oriented Programming

Types, Analysis and Verification

2013 - Erschienen 2013.

Buchschnitt verkürzt- gepflegter, sauberer Zustand - Ausgabejahr 2013 23647519/12
Mehr anzeigen

object aliasing, ownership types, deterministic parallelism, program verification, Java,

Produktart:
📚 Bücher
Autor(en):
Clarke, David, Tobias Wrigstad und James Noble:
Anbieter:
Buchpark GmbH
Bestell-Nr.:
2364751912
Katalog:
Varia
ISBN | EAN:
3642369456 | 9783642369452
Stichworte:
object, aliasing, ownership, types, deterministic, parallelism, program, verification, Java
Zahlungsarten:
Vorauskasse, PayPal
Gebraucht, sehr gut 42,79 EUR 38,51 EUR Kostenloser Versand
Sonderaktion: 10% Rabatt bis 05.11.2026
Aliasing in Object-Oriented Programming  - Types, Analysis and Verification
Aliasing in Object-Oriented Programming
Gebraucht, sehr gut
42,79 EUR 38,51 EUR
Kostenloser Versand
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. The 22 revised papers were carefully reviewed to ensure the highest quality.The contributions are organized in topical sections on the Geneva convention, ownership, concurrency, alias analysis, controlling effects, verification, programming languages, and visions.
Weitere/ähnliche Angebote für diesen Artikel Aliasing in Object-Oriented Programming - Types, Analysis and Verification

Ähnliche Bücher, die interessant für Sie sein könnten Autor: David Clarke, Tobias Wrigstad, James Noble Verlag: Springer Berlin,

Sparen Sie Versandkosten bei Buchpark GmbH durch den Kauf weiterer Artikel