| Description |
1 online resource |
| Series |
Lecture notes in computer science, 0302-9743 ; 7850 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 7850.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
| Contents |
The Geneva Convention. Beyond the Geneva Convention on the Treatment of Object Aliasing / Dave Clarke, James Noble, Tobias Wrigstad -- The Geneva Convention on the Treatment of Object Aliasing / John Hogg [and others] -- Ownership. Ownership Types: A Survey / Dave Clarke [and others]-- Notions of Aliasing and Ownership / Alan Mycroft, Janina Voigt -- Understanding Ownership Types with Dependent Types / Nicholas Cameron, Sophia Drossopoulou, James Noble -- Object Graphs with Ownership Domains: An Empirical Study / Radu Vanciu, Marwan Abi-Antoun -- Concurrency. Alias Control for Deterministic Parallelism / Robert L. Bocchino Jr. -- Alias Analysis. Alias Analysis for Object-Oriented Programs / Manu Sridharan [and others] -- Controlling Effects. Immutability / Alex Potanin [and others] -- Fractional Permissions / John Boyland -- Verification. Object Ownership in Program Verification / Werner Dietl, Peter Müller -- State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings / Anindya Banerjee, David A. Naumann -- Separation Logic for Object-Oriented Programming / Matthew Parkinson, Gavin Bierman -- VeriFast for Java: A Tutorial / Jan Smans, Bart Jacobs, Frank Piessens -- Programming Languages. Confined Roles and Decapsulation in Object Teams -- Contradiction or Synergy? / Stephan Herrmann -- Location Types for Safe Programming with Near and Far References / Yannick Welsch, Jan Schäfer, Arnd Poetzsch-Heffter -- Visions. The Future of Aliasing in Parallel Programming / Robert L. Bocchino Jr. -- Aliasing Visions: Ownership and Location / Alan Mycroft -- Alias Analysis: Beyond the Code / Manu Sridharan -- How, Then, Should We Program? / James Noble -- A Retrospective on Aliasing Type Systems: 2012-2022 / Jonathan Aldrich -- Structured Aliasing / Tobias Wrigstad |
| Summary |
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 |
| Analysis |
Computer science |
|
Software engineering |
|
Operating systems (Computers) |
|
Programming Techniques |
|
Programming Languages, Compilers, Interpreters |
|
History of Computing |
| Notes |
Includes author index |
|
English |
| Subject |
Object-oriented programming languages.
|
|
Object-oriented programming (Computer science)
|
|
Programming languages (Electronic computers)
|
|
Computer software.
|
|
Computer programs.
|
|
Programming Languages
|
|
Software
|
|
software.
|
|
Programming languages (Electronic computers)
|
|
Computer software
|
|
Computer programs
|
|
Object-oriented programming (Computer science)
|
|
Object-oriented programming languages
|
| Form |
Electronic book
|
| Author |
Clarke, Dave, 1971-
|
|
Noble, James, 1967-
|
|
Wrigstad, Tobias
|
| ISBN |
9783642369469 |
|
3642369464 |
|
