Using Ownership to Reason about Inherent Parallelism in Object-Oriented Programs
No abstract available.
Related papers
- Ownership types for object encapsulation POPL 2003
- Ownership, encapsulation and the disjointness of type and effect OOPSLA 2002
- MAO: Ownership and Effects for More Effective Reasoning About Aspects ECOOP 2007
- Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language ECOOP 2019
- Reference Capabilities for Concurrency Control ECOOP 2016
- Ownership transfer in universe types OOPSLA 2007
- Reachability types: tracking aliasing and separation in higher-order functional programs OOPSLA 2021
- Reasoning about Object-Oriented Programs that Use Subtypes OOPSLA 1990