Geschäftskunden Kundenprogramme
Vor Ort
Merkzettel Warenkorb
Produktbild: Aliasing in Object-Oriented Programming
Band 7850

Aliasing in Object-Oriented Programming Types, Analysis and Verification

Aus der Reihe Programming and Software Engineering

Fr. 73.90

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

26.03.2013

Abbildungen

VIII, 515 p. 134 illus.

Herausgeber

David Clarke + weitere

Verlag

Springer Berlin

Seitenzahl

515

Maße (L/B/H)

23.5/15.5/2.9 cm

Gewicht

785 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-36945-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

26.03.2013

Abbildungen

VIII, 515 p. 134 illus.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

515

Maße (L/B/H)

23.5/15.5/2.9 cm

Gewicht

785 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-36945-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Aliasing in Object-Oriented Programming

  • Beyond the Geneva Convention on the Treatment of Object Aliasing.- The Geneva Convention on the Treatment of Object Aliasing.- Ownership Types: A Survey.- Notions of Aliasing and Ownership.- Understanding Ownership Types with Dependent Types.- Object Graphs with Ownership Domains: An Empirical Study.- Alias Control for Deterministic Parallelism.- Alias Analysis for Object-Oriented Programs.- Immutability.- Fractional Permissions.- Object Ownership in Program Verification.- State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings.- Separation Logic for Object-Oriented Programming.- VeriFast for Java: A Tutorial.- Confined Roles and Decapsulation in Object Teams — Contradiction or Synergy.- Location Types for Safe Programming with Near and Far References.- TheFuture of Aliasing in Parallel Programming.- Aliasing Visions: Ownership and Location.- Alias Analysis: Beyond the Code.- How, Then, Should We Program.- A Retrospective on Aliasing Type Systems: 2012-2022.- Structured Aliasing. 

    The Geneva Convention on the Treatment of Object Aliasing.- Ownership Types: A Survey.- Notions of Aliasing and Ownership.- Understanding Ownership Types with Dependent Types.- Object Graphs with Ownership Domains: An Empirical Study.- Alias Control for Deterministic Parallelism.- Alias Analysis for Object-Oriented Programs.- Immutability.- Fractional Permissions.- Object Ownership in Program Verification.- State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings.- Separation Logic for Object-OrientedProgramming.- VeriFast for Java: A Tutorial.- Confined Roles and Decapsulation in Object Teams — Contradiction or Synergy.- Location Types for Safe Programming with Near and Far References.- The Future of Aliasing in Parallel Programming.- Aliasing Visions: Ownership and Location.- Alias Analysis: Beyond the Code.- How, Then, Should We Program.- A Retrospective on Aliasing Type Systems: 2012-2022.- Structured Aliasing.