skip to content
Aliasing in object-oriented programming : types, analysis and verification Preview this item
ClosePreview this item
Checking...

Aliasing in object-oriented programming : types, analysis and verification

Author: Dave Clarke; James Noble; Tobias Wrigstad
Publisher: Berlin ; New York : Springer, ©2013.
Series: Lecture notes in computer science, 7850.; LNCS sublibrary., SL 2,, Programming and software engineering.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Database:WorldCat
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Dave Clarke; James Noble; Tobias Wrigstad
ISBN: 9783642369469 3642369464
OCLC Number: 835097661
Notes: Includes author index.
Description: 1 online resource.
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 .... [et al.] --
Ownership. Ownership Types: A Survey / Dave Clarke ... [et al.]--
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 ... [et al.] --
Controlling Effects. Immutability / Alex Potanin ... [et al.] --
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.
Series Title: Lecture notes in computer science, 7850.; LNCS sublibrary., SL 2,, Programming and software engineering.
Responsibility: Dave Clarke, James Noble, Tobias Wrigstad (eds.).
More information:

Abstract:

This book surveys state-of-the-art techniques for dealing with aliasing in object-oriented programming, presenting 22 papers on the Geneva convention, ownership, concurrency, alias analysis,  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/835097661>
library:oclcnum"835097661"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/835097661>
rdf:typeschema:Book
schema:about
<http://id.worldcat.org/fast/1042804>
rdf:typeschema:Intangible
schema:name"Object-oriented programming (Computer science)"
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:bookFormatschema:EBook
schema:contributor
schema:contributor
schema:contributor
schema:copyrightYear"2013"
schema:datePublished"2013"
schema:description"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."
schema:exampleOfWork<http://worldcat.org/entity/work/id/1433902974>
schema:genre"Electronic books."
schema:inLanguage"en"
schema:name"Aliasing in object-oriented programming types, analysis and verification"
schema:publisher
schema:url
schema:url<http://dx.doi.org/10.1007/978-3-642-36946-9>
schema:workExample

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.