↓ Skip to main content

Aliasing in Object-Oriented Programming. Types, Analysis and Verification

Overview of attention for book
Cover of 'Aliasing in Object-Oriented Programming. Types, Analysis and Verification'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Beyond the Geneva Convention on the Treatment of Object Aliasing
  3. Altmetric Badge
    Chapter 2 The Geneva Convention on the Treatment of Object Aliasing
  4. Altmetric Badge
    Chapter 3 Ownership Types: A Survey
  5. Altmetric Badge
    Chapter 4 Notions of Aliasing and Ownership
  6. Altmetric Badge
    Chapter 5 Understanding Ownership Types with Dependent Types
  7. Altmetric Badge
    Chapter 6 Object Graphs with Ownership Domains: An Empirical Study
  8. Altmetric Badge
    Chapter 7 Alias Control for Deterministic Parallelism
  9. Altmetric Badge
    Chapter 8 Alias Analysis for Object-Oriented Programs
  10. Altmetric Badge
    Chapter 9 Immutability
  11. Altmetric Badge
    Chapter 10 Fractional Permissions
  12. Altmetric Badge
    Chapter 11 Object Ownership in Program Verification
  13. Altmetric Badge
    Chapter 12 State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings
  14. Altmetric Badge
    Chapter 13 Separation Logic for Object-Oriented Programming
  15. Altmetric Badge
    Chapter 14 VeriFast for Java: A Tutorial
  16. Altmetric Badge
    Chapter 15 Confined Roles and Decapsulation in Object Teams — Contradiction or Synergy?
  17. Altmetric Badge
    Chapter 16 Location Types for Safe Programming with Near and Far References
  18. Altmetric Badge
    Chapter 17 The Future of Aliasing in Parallel Programming
  19. Altmetric Badge
    Chapter 18 Aliasing Visions: Ownership and Location
  20. Altmetric Badge
    Chapter 19 Alias Analysis: Beyond the Code
  21. Altmetric Badge
    Chapter 20 How, Then, Should We Program?
  22. Altmetric Badge
    Chapter 21 A Retrospective on Aliasing Type Systems: 2012-2022
  23. Altmetric Badge
    Chapter 22 Structured Aliasing
Attention for Chapter 22: Structured Aliasing
Altmetric Badge

Citations

dimensions_citation
12 Dimensions

Readers on

mendeley
9 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Structured Aliasing
Chapter number 22
Book title
Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Published by
Springer Berlin Heidelberg, January 2013
DOI 10.1007/978-3-642-36946-9_22
Book ISBNs
978-3-64-236945-2, 978-3-64-236946-9
Authors

Tobias Wrigstad

Editors

Dave Clarke, James Noble, Tobias Wrigstad

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 9 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
France 1 11%
Canada 1 11%
Unknown 7 78%

Demographic breakdown

Readers by professional status Count As %
Student > Master 4 44%
Student > Ph. D. Student 2 22%
Other 1 11%
Researcher 1 11%
Professor > Associate Professor 1 11%
Other 0 0%
Readers by discipline Count As %
Computer Science 9 100%