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

  • Dave Clarke
  • James Noble
  • Tobias Wrigstad
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7850)

Table of contents

  1. Front Matter
  2. The Geneva Convention

    1. Dave Clarke, James Noble, Tobias Wrigstad
      Pages 1-6
    2. John Hogg, Doug Lea, Alan Wills, Dennis de Champeaux, Richard Holt
      Pages 7-14
  3. Ownership

    1. Dave Clarke, Johan Östlund, Ilya Sergey, Tobias Wrigstad
      Pages 15-58
    2. Alan Mycroft, Janina Voigt
      Pages 59-83
    3. Nicholas Cameron, Sophia Drossopoulou, James Noble
      Pages 84-108
    4. Radu Vanciu, Marwan Abi-Antoun
      Pages 109-155
  4. Concurrency

    1. Robert L. Bocchino Jr.
      Pages 156-195
  5. Alias Analysis

    1. Manu Sridharan, Satish Chandra, Julian Dolby, Stephen J. Fink, Eran Yahav
      Pages 196-232
  6. Controlling Effects

    1. Alex Potanin, Johan Östlund, Yoav Zibin, Michael D. Ernst
      Pages 233-269
    2. John Boyland
      Pages 270-288
  7. Verification

    1. Werner Dietl, Peter Müller
      Pages 289-318
    2. Matthew Parkinson, Gavin Bierman
      Pages 366-406
    3. Jan Smans, Bart Jacobs, Frank Piessens
      Pages 407-442
  8. Programming Languages

    1. Yannick Welsch, Jan Schäfer, Arnd Poetzsch-Heffter
      Pages 471-500
  9. Visions

    1. Robert L. Bocchino Jr.
      Pages 501-502
    2. Alan Mycroft
      Pages 503-504
    3. Manu Sridharan
      Pages 505-506

About this book

Introduction

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

  • Dave Clarke
    • 1
  • James Noble
    • 2
  • Tobias Wrigstad
    • 3
  1. 1.Department of Computer ScienceKatholieke Universiteit LeuvenHeverleeBelgium
  2. 2.School of Engineering and Computer ScienceVictoria University of WellingtonWellingtonNew Zealand
  3. 3.Department of Information TechnologyUppsala UniversityUppsalaSweden

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-36946-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-36945-2
  • Online ISBN 978-3-642-36946-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book