product iamge

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

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

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.

Author(s): Dave Clarke, James Noble, Tobias Wrigstad (auth.), Dave Clarke, James Noble, Tobias Wrigstad (eds.)
Series: Lecture Notes in Computer Science 7850
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2013

Language: English
Pages: 515
Tags: Programming Techniques; Operating Systems; Software Engineering; Programming Languages, Compilers, Interpreters; History of Computing

Front Matter....Pages -
Beyond the Geneva Convention on the Treatment of Object Aliasing....Pages 1-6
The Geneva Convention on the Treatment of Object Aliasing....Pages 7-14
Ownership Types: A Survey....Pages 15-58
Notions of Aliasing and Ownership....Pages 59-83
Understanding Ownership Types with Dependent Types....Pages 84-108
Object Graphs with Ownership Domains: An Empirical Study....Pages 109-155
Alias Control for Deterministic Parallelism....Pages 156-195
Alias Analysis for Object-Oriented Programs....Pages 196-232
Immutability....Pages 233-269
Fractional Permissions....Pages 270-288
Object Ownership in Program Verification....Pages 289-318
State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings....Pages 319-365
Separation Logic for Object-Oriented Programming....Pages 366-406
VeriFast for Java: A Tutorial....Pages 407-442
Confined Roles and Decapsulation in Object Teams — Contradiction or Synergy?....Pages 443-470
Location Types for Safe Programming with Near and Far References....Pages 471-500
The Future of Aliasing in Parallel Programming....Pages 501-502
Aliasing Visions: Ownership and Location....Pages 503-504
Alias Analysis: Beyond the Code....Pages 505-506
How, Then, Should We Program?....Pages 507-508
A Retrospective on Aliasing Type Systems: 2012-2022....Pages 509-511
Structured Aliasing....Pages 512-513
Back Matter....Pages -