Aliasing in Object-Oriented Programming. Types, Analysis and Verification

Volume 7850 of the series Lecture Notes in Computer Science pp 1-6

Beyond the Geneva Convention on the Treatment of Object Aliasing

  • Dave ClarkeAffiliated withiMinds-DistriNet, Dept. Computer Sciences, KU Leuven
  • , James NobleAffiliated withVictoria University of Wellington
  • , Tobias WrigstadAffiliated withDepartment of Information Technology, Uppsala University

* Final gross prices may vary according to local VAT.

Get Access


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.