Beyond the Geneva Convention on the Treatment of Object Aliasing

  • Dave Clarke
  • James Noble
  • Tobias Wrigstad

Abstract

Aliasing occurs when two or more references to an object exist within the object graph of a running program. Although aliasing is essential in object-oriented programming as it allows programmers to implement designs involving sharing, it is problematic because its presence makes it difficult to reason about the object at the end of an alias—via an alias, an object’s state can change underfoot.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Dave Clarke
    • 1
  • James Noble
    • 2
  • Tobias Wrigstad
    • 3
  1. 1.iMinds-DistriNet, Dept. Computer SciencesKU LeuvenBelgium
  2. 2.Victoria University of WellingtonNew Zealand
  3. 3.Department of Information TechnologyUppsala UniversitySweden

Personalised recommendations