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

Editors:

ISBN: 978-3-642-36945-2 (Print) 978-3-642-36946-9 (Online)

Table of contents (22 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. The Geneva Convention

    1. No Access

      Book Chapter

      Pages 1-6

      Beyond the Geneva Convention on the Treatment of Object Aliasing

    2. No Access

      Book Chapter

      Pages 7-14

      The Geneva Convention on the Treatment of Object Aliasing

  3. Ownership

    1. No Access

      Book Chapter

      Pages 15-58

      Ownership Types: A Survey

    2. No Access

      Book Chapter

      Pages 59-83

      Notions of Aliasing and Ownership

    3. No Access

      Book Chapter

      Pages 84-108

      Understanding Ownership Types with Dependent Types

    4. No Access

      Book Chapter

      Pages 109-155

      Object Graphs with Ownership Domains: An Empirical Study

  4. Concurrency

    1. No Access

      Book Chapter

      Pages 156-195

      Alias Control for Deterministic Parallelism

  5. Alias Analysis

    1. No Access

      Book Chapter

      Pages 196-232

      Alias Analysis for Object-Oriented Programs

  6. Controlling Effects

    1. No Access

      Book Chapter

      Pages 233-269

      Immutability

    2. No Access

      Book Chapter

      Pages 270-288

      Fractional Permissions

  7. Verification

    1. No Access

      Book Chapter

      Pages 289-318

      Object Ownership in Program Verification

    2. No Access

      Book Chapter

      Pages 319-365

      State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings

    3. No Access

      Book Chapter

      Pages 366-406

      Separation Logic for Object-Oriented Programming

    4. No Access

      Book Chapter

      Pages 407-442

      VeriFast for Java: A Tutorial

  8. Programming Languages

    1. No Access

      Book Chapter

      Pages 443-470

      Confined Roles and Decapsulation in Object Teams — Contradiction or Synergy?

    2. No Access

      Book Chapter

      Pages 471-500

      Location Types for Safe Programming with Near and Far References

  9. Visions

    1. No Access

      Book Chapter

      Pages 501-502

      The Future of Aliasing in Parallel Programming

    2. No Access

      Book Chapter

      Pages 503-504

      Aliasing Visions: Ownership and Location

    3. No Access

      Book Chapter

      Pages 505-506

      Alias Analysis: Beyond the Code

    4. No Access

      Book Chapter

      Pages 507-508

      How, Then, Should We Program?

previous Page of 2