Inference and Checking of Object Ownership
No abstract available.
Related papers
- Inferring ownership transfer for efficient message passing PPoPP 2011
- Inferring aliasing and encapsulation properties for java OOPSLA 2007
- Ownership transfer in universe types OOPSLA 2007
- Dynamic ownership in a dynamic language DLS 2007
- Inference of Resource Management Specifications OOPSLA 2023
- Inferring ownership domains from refinements GPCE 2018
- Ownership types for safe region-based memory management in real-time Java PLDI 2003
- MAO: Ownership and Effects for More Effective Reasoning About Aspects ECOOP 2007