Aliasing in Object-Oriented Programming

1. Front Matter

   PDF

2. The Geneva Convention

   1. Beyond the Geneva Convention on the Treatment of Object Aliasing

      • Dave Clarke, James Noble, Tobias Wrigstad

      Pages 1-6

   2. The Geneva Convention on the Treatment of Object Aliasing

      • John Hogg, Doug Lea, Alan Wills, Dennis de Champeaux, Richard Holt

      Pages 7-14

3. Ownership

   1. Ownership Types: A Survey

      • Dave Clarke, Johan Östlund, Ilya Sergey, Tobias Wrigstad

      Pages 15-58

   2. Notions of Aliasing and Ownership

      • Alan Mycroft, Janina Voigt

      Pages 59-83

   3. Understanding Ownership Types with Dependent Types

      • Nicholas Cameron, Sophia Drossopoulou, James Noble

      Pages 84-108

   4. Object Graphs with Ownership Domains: An Empirical Study

      • Radu Vanciu, Marwan Abi-Antoun

      Pages 109-155

4. Concurrency

   1. Alias Control for Deterministic Parallelism

      • Robert L. Bocchino Jr.

      Pages 156-195

5. Alias Analysis

   1. Alias Analysis for Object-Oriented Programs

      • Manu Sridharan, Satish Chandra, Julian Dolby, Stephen J. Fink, Eran Yahav

      Pages 196-232

6. Controlling Effects

   1. Immutability

      • Alex Potanin, Johan Östlund, Yoav Zibin, Michael D. Ernst

      Pages 233-269

   2. Fractional Permissions

      • John Boyland

      Pages 270-288

7. Verification

   1. Object Ownership in Program Verification

      • Werner Dietl, Peter Müller

      Pages 289-318

   2. State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings

      • Anindya Banerjee, David A. Naumann

      Pages 319-365

   3. Separation Logic for Object-Oriented Programming

      • Matthew Parkinson, Gavin Bierman

      Pages 366-406

   4. VeriFast for Java: A Tutorial

      • Jan Smans, Bart Jacobs, Frank Piessens

      Pages 407-442

8. Programming Languages

   1. Confined Roles and Decapsulation in Object Teams — Contradiction or Synergy?

      • Stephan Herrmann

      Pages 443-470

   2. Location Types for Safe Programming with Near and Far References

      • Yannick Welsch, Jan Schäfer, Arnd Poetzsch-Heffter

      Pages 471-500

9. Visions

   1. The Future of Aliasing in Parallel Programming

      • Robert L. Bocchino Jr.

      Pages 501-502

   2. Aliasing Visions: Ownership and Location

      • Alan Mycroft

      Pages 503-504

   3. Alias Analysis: Beyond the Code

      • Manu Sridharan

      Pages 505-506

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.

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

• Department of Computer Science, Katholieke Universiteit Leuven, Heverlee, Belgium

  Dave Clarke

• School of Engineering and Computer Science, Victoria University of Wellington, Wellington, New Zealand

  James Noble

• Department of Information Technology, Uppsala University, Uppsala, Sweden

  Tobias Wrigstad

Policies and ethics