Coverart for item
The Resource Aliasing in object-oriented programming : types, analysis and verification, Dave Clarke, James Noble, Tobias Wrigstad (eds.)

Aliasing in object-oriented programming : types, analysis and verification, Dave Clarke, James Noble, Tobias Wrigstad (eds.)

Label
Aliasing in object-oriented programming : types, analysis and verification
Title
Aliasing in object-oriented programming
Title remainder
types, analysis and verification
Statement of responsibility
Dave Clarke, James Noble, Tobias Wrigstad (eds.)
Contributor
Subject
Language
eng
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
Member of
Cataloging source
GW5XE
Dewey number
005.13
Index
index present
Language note
English
LC call number
QA76.64
LC item number
.A45 2013
Literary form
non fiction
Nature of contents
dictionaries
NLM call number
QA 76.64
http://library.link/vocab/relatedWorkOrContributorDate
  • 1971-
  • 1967-
http://library.link/vocab/relatedWorkOrContributorName
  • Clarke, Dave
  • Noble, James
  • Wrigstad, Tobias
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 2, Programming and software engineering
Series volume
7850
http://library.link/vocab/subjectName
  • Object-oriented programming languages
  • Object-oriented programming (Computer science)
  • Programming Languages
  • Software
  • Object-oriented programming (Computer science)
  • Object-oriented programming languages
  • Engineering & Applied Sciences
  • Computer Science
Label
Aliasing in object-oriented programming : types, analysis and verification, Dave Clarke, James Noble, Tobias Wrigstad (eds.)
Instantiates
Publication
Note
Includes author index
Antecedent source
unknown
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • 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.
  • The Geneva Convention.
  • 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
  • Beyond the Geneva Convention on the Treatment of Object Aliasing
  • 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
  • Dave Clarke, James Noble, Tobias Wrigstad
  • 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
  • The Geneva Convention on the Treatment of Object Aliasing
  • A Retrospective on Aliasing Type Systems: 2012-2022
  • Jonathan Aldrich
  • Structured Aliasing
  • Tobias Wrigstad
  • John Hogg [and others]
  • Ownership.
  • Ownership Types: A Survey
  • Dave Clarke [and others]--
Control code
835097661
Dimensions
unknown
Extent
1 online resource.
File format
unknown
Form of item
online
Isbn
9783642369469
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-36946-9
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)835097661
Label
Aliasing in object-oriented programming : types, analysis and verification, Dave Clarke, James Noble, Tobias Wrigstad (eds.)
Publication
Note
Includes author index
Antecedent source
unknown
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • 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.
  • The Geneva Convention.
  • 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
  • Beyond the Geneva Convention on the Treatment of Object Aliasing
  • 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
  • Dave Clarke, James Noble, Tobias Wrigstad
  • 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
  • The Geneva Convention on the Treatment of Object Aliasing
  • A Retrospective on Aliasing Type Systems: 2012-2022
  • Jonathan Aldrich
  • Structured Aliasing
  • Tobias Wrigstad
  • John Hogg [and others]
  • Ownership.
  • Ownership Types: A Survey
  • Dave Clarke [and others]--
Control code
835097661
Dimensions
unknown
Extent
1 online resource.
File format
unknown
Form of item
online
Isbn
9783642369469
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-36946-9
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)835097661

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...