Skip to main content
  • Book
  • © 2013

Aliasing in Object-Oriented Programming

Types, Analysis and Verification

  • High quality selected papers

  • Unique visibility

  • State of the art research

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7850)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Buying options

eBook USD 64.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-36946-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 84.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (22 chapters)

  1. Front Matter

  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. Separation Logic for Object-Oriented Programming

      • Matthew Parkinson, Gavin Bierman
      Pages 366-406
    3. VeriFast for Java: A Tutorial

      • Jan Smans, Bart Jacobs, Frank Piessens
      Pages 407-442
  8. Programming Languages

    1. 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

About this book

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.

Keywords

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

Editors and Affiliations

  • 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

Bibliographic Information

Buying options

eBook USD 64.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-36946-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 84.99
Price excludes VAT (USA)