Skip to main content
SpringerLink
Log in
Book cover

Aliasing in Object-Oriented Programming

Types, Analysis and Verification

  • Book
  • © 2013

Overview

Editors:
  1. Dave Clarke

    1. Department of Computer Science, Katholieke Universiteit Leuven, Heverlee, Belgium

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. James Noble

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Tobias Wrigstad

    1. Department of Information Technology, Uppsala University, Uppsala, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (22 chapters)

  1. Front Matter

    Download chapter 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
Back to top

Keywords

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.

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

Publish with us

Policies and ethics

Back to top

Search

Navigation