Beyond the geneva convention on the treatment of object aliasing

Authors:
Dave Clarke;James Noble;Tobias Wrigstad
Affiliations:
iMinds-DistriNet, Dept. Computer Sciences, KU Leuven, Belgium;Victoria University of Wellington, New Zealand;Department of Information Technology, Uppsala University, Sweden
Venue:
Aliasing in Object-Oriented Programming
Year:
2013

Citing 7
Cited 0

Islands: aliasing protection in object-oriented languages

OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
The Geneva convention on the treatment of object aliasing

ACM SIGPLAN OOPS Messenger
Ownership types for flexible alias protection

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Ownership types for safe programming: preventing data races and deadlocks

OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Flexible Alias Protection

ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
Resources, concurrency, and local reasoning

Theoretical Computer Science
Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations

Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications

Quantified Score

Hi-index	0.00

Visualization

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.