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: Llibres electrònics
Additional Physical Format: Printed edition:
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 [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.
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


Primary Entity

<http://www.worldcat.org/oclc/835097661> # Aliasing in object-oriented programming types, analysis and verification
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "835097661" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1433902974#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1433902974#Thing/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters.
    schema:about <http://experiment.worldcat.org/entity/work/data/1433902974#Topic/object_oriented_programming_computer_science> ; # Object-oriented programming (Computer science)
    schema:about <http://experiment.worldcat.org/entity/work/data/1433902974#Thing/operating_systems_computers> ; # Operating systems (Computers)
    schema:about <http://dewey.info/class/005.13/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1433902974#Topic/llenguatges_de_programacio_orientada_a_objectes> ; # Llenguatges de programació orientada a objectes
    schema:about <http://experiment.worldcat.org/entity/work/data/1433902974#Thing/software_engineering> ; # Software engineering.
    schema:about <http://experiment.worldcat.org/entity/work/data/1433902974#Topic/programacio_orientada_a_l_objecte_informatica> ; # Programació orientada a l'objecte (Informàtica)
    schema:about <http://experiment.worldcat.org/entity/work/data/1433902974#Thing/programming_techniques> ; # Programming Techniques.
    schema:about <http://experiment.worldcat.org/entity/work/data/1433902974#Thing/history_of_computing> ; # History of Computing.
    schema:about <http://experiment.worldcat.org/entity/work/data/1433902974#Thing/computer_science> ; # Computer science.
    schema:about <http://experiment.worldcat.org/entity/work/data/1433902974#Topic/software> ; # Software
    schema:about <http://experiment.worldcat.org/entity/work/data/1433902974#Topic/programming_languages> ; # Programming Languages
    schema:about <http://experiment.worldcat.org/entity/work/data/1433902974#Topic/object_oriented_programming_languages> ; # Object-oriented programming languages
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/49207733> ; # Tobias Wrigstad
    schema:contributor <http://viaf.org/viaf/18070258> ; # James Noble
    schema:contributor <http://viaf.org/viaf/121603914> ; # Dave Clarke
    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."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1433902974> ;
    schema:genre "Llibres electrònics"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science,
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1433902974#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> ; # LNCS sublibrary. SL 2, Programming and software engineering
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1433902974#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1433902974#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isSimilarTo <http://worldcat.org/entity/work/data/1433902974#CreativeWork/> ;
    schema:name "Aliasing in object-oriented programming types, analysis and verification"@en ;
    schema:productID "835097661" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/835097661#PublicationEvent/berlin_new_york_springer_2013> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1433902974#Agent/springer> ; # Springer
    schema:url <http://public.eblib.com/choice/PublicFullRecord.aspx?p=3093612> ;
    schema:url <http://dx.doi.org/10.1007/978-3-642-36946-9> ;
    schema:workExample <http://worldcat.org/isbn/9783642369469> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-642-36946-9> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/835097661> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/1433902974#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/835097661> ; # Aliasing in object-oriented programming types, analysis and verification
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1433902974#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/835097661> ; # Aliasing in object-oriented programming types, analysis and verification
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/1433902974#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> # LNCS sublibrary. SL 2, Programming and software engineering
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/835097661> ; # Aliasing in object-oriented programming types, analysis and verification
    schema:name "LNCS sublibrary. SL 2, Programming and software engineering" ;
    .

<http://experiment.worldcat.org/entity/work/data/1433902974#Thing/computer_science> # Computer science.
    a schema:Thing ;
    schema:name "Computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/1433902974#Thing/history_of_computing> # History of Computing.
    a schema:Thing ;
    schema:name "History of Computing." ;
    .

<http://experiment.worldcat.org/entity/work/data/1433902974#Thing/operating_systems_computers> # Operating systems (Computers)
    a schema:Thing ;
    schema:name "Operating systems (Computers)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1433902974#Thing/programming_languages_compilers_interpreters> # Programming Languages, Compilers, Interpreters.
    a schema:Thing ;
    schema:name "Programming Languages, Compilers, Interpreters." ;
    .

<http://experiment.worldcat.org/entity/work/data/1433902974#Thing/programming_techniques> # Programming Techniques.
    a schema:Thing ;
    schema:name "Programming Techniques." ;
    .

<http://experiment.worldcat.org/entity/work/data/1433902974#Thing/software_engineering> # Software engineering.
    a schema:Thing ;
    schema:name "Software engineering." ;
    .

<http://experiment.worldcat.org/entity/work/data/1433902974#Topic/llenguatges_de_programacio_orientada_a_objectes> # Llenguatges de programació orientada a objectes
    a schema:Intangible ;
    schema:name "Llenguatges de programació orientada a objectes"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1433902974#Topic/object_oriented_programming_computer_science> # Object-oriented programming (Computer science)
    a schema:Intangible ;
    schema:name "Object-oriented programming (Computer science)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1433902974#Topic/object_oriented_programming_languages> # Object-oriented programming languages
    a schema:Intangible ;
    schema:name "Object-oriented programming languages"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1433902974#Topic/programacio_orientada_a_l_objecte_informatica> # Programació orientada a l'objecte (Informàtica)
    a schema:Intangible ;
    schema:name "Programació orientada a l'objecte (Informàtica)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1433902974#Topic/programming_languages> # Programming Languages
    a schema:Intangible ;
    schema:name "Programming Languages"@en ;
    .

<http://viaf.org/viaf/121603914> # Dave Clarke
    a schema:Person ;
    schema:birthDate "1971" ;
    schema:familyName "Clarke" ;
    schema:givenName "Dave" ;
    schema:name "Dave Clarke" ;
    .

<http://viaf.org/viaf/18070258> # James Noble
    a schema:Person ;
    schema:birthDate "1967" ;
    schema:familyName "Noble" ;
    schema:givenName "James" ;
    schema:name "James Noble" ;
    .

<http://viaf.org/viaf/49207733> # Tobias Wrigstad
    a schema:Person ;
    schema:familyName "Wrigstad" ;
    schema:givenName "Tobias" ;
    schema:name "Tobias Wrigstad" ;
    .

<http://worldcat.org/entity/work/data/1433902974#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/835097661> ; # Aliasing in object-oriented programming types, analysis and verification
    .

<http://worldcat.org/isbn/9783642369469>
    a schema:ProductModel ;
    schema:isbn "3642369464" ;
    schema:isbn "9783642369469" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/835097661> ; # Aliasing in object-oriented programming types, analysis and verification
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science," ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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