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

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.

---

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.

---

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.
Content:
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 -

---

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.
Content:
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 -
....