Aliasing in Object-Oriented Programming. Types, Analysis and Verification - Info and Reading Options
By Dave Clarke
"Aliasing in Object-Oriented Programming. Types, Analysis and Verification" was published by Springer Berlin Heidelberg in 2013 - Berlin, Heidelberg, it has 515 pages and the language of the book is English.
“Aliasing in Object-Oriented Programming. Types, Analysis and Verification” Metadata:
- Title: ➤ Aliasing in Object-Oriented Programming. Types, Analysis and Verification
- Author: Dave Clarke
- Language: English
- Number of Pages: 515
- Publisher: Springer Berlin Heidelberg
- Publish Date: 2013
- Publish Location: Berlin, Heidelberg
“Aliasing in Object-Oriented Programming. Types, Analysis and Verification” Subjects and Themes:
- Subjects: ➤ Programming Techniques - Computer science - Software engineering - Programming Languages, Compilers, Interpreters - History of Computing - Operating systems (Computers) - Operating Systems
Edition Specifications:
- Format: [electronic resource] /
- Pagination: VIII, 515 p. 134 illus.
Edition Identifiers:
- The Open Library ID: OL27016047M - OL19825620W
- ISBN-13: 9783642369469
- All ISBNs: 9783642369469
AI-generated Review of “Aliasing in Object-Oriented Programming. Types, Analysis and Verification”:
"Aliasing in Object-Oriented Programming. Types, Analysis and Verification" Table Of Contents:
- 1- Beyond the Geneva Convention on the Treatment of Object Aliasing.- The Geneva Convention on the Treatment of Object Aliasing.- Ownership Types: A Survey.- Notions of Aliasing and Ownership.- Understanding Ownership Types with Dependent Types.- Object Graphs with Ownership Domains: An Empirical Study.- Alias Control for Deterministic Parallelism.- Alias Analysis for Object-Oriented Programs.- Immutability.- Fractional Permissions.- Object Ownership in Program Verification.- State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings.- Separation Logic for Object-Oriented Programming.- VeriFast for Java: A Tutorial
- 2- ^
- 3- Confined Roles and Decapsulation in Object Teams — Contradiction or Synergy.- Location Types for Safe Programming with Near and Far References.- The Future of Aliasing in Parallel Programming.- Aliasing Visions: Ownership and Location.- Alias Analysis: Beyond the Code.- How, Then, Should We Program.- A Retrospective on Aliasing Type Systems: 2012-2022.- Structured Aliasing. The Geneva Convention on the Treatment of Object Aliasing.- Ownership Types: A Survey.- Notions of Aliasing and Ownership.- Understanding Ownership Types with Dependent Types.- Object Graphs with Ownership Domains: An Empirical Study.- Alias Control for Deterministic Parallelism.- Alias Analysis for Object-Oriented Programs.- Immutability.- Fractional Permissions.- Object Ownership in Program Verification.- State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings.- Separation Logic for Object-Oriented Programming.- VeriFast for Java: A Tutorial
- 4- ^
- 5- ^^
- 6- Confined Roles and Decapsulation in Object Teams — Contradiction or Synergy.- Location Types for Safe Programming with Near and Far References.- The Future of Aliasing in Parallel Programming.- Aliasing Visions: Ownership and Location.- Alias Analysis: Beyond the Code.- How, Then, Should We Program.- A Retrospective on Aliasing Type Systems: 2012-2022.- Structured Aliasing. .
- 7- ^^
"Aliasing in Object-Oriented Programming. Types, Analysis and Verification" Description:
The Open Library:
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.
Open Data:
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
Read “Aliasing in Object-Oriented Programming. Types, Analysis and Verification”:
Read “Aliasing in Object-Oriented Programming. Types, Analysis and Verification” by choosing from the options below.
Search for “Aliasing in Object-Oriented Programming. Types, Analysis and Verification” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Aliasing in Object-Oriented Programming. Types, Analysis and Verification” in Libraries Near You:
Read or borrow “Aliasing in Object-Oriented Programming. Types, Analysis and Verification” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Aliasing in Object-Oriented Programming. Types, Analysis and Verification” at a library near you.
Buy “Aliasing in Object-Oriented Programming. Types, Analysis and Verification” online:
Shop for “Aliasing in Object-Oriented Programming. Types, Analysis and Verification” on popular online marketplaces.
- Ebay: New and used books.