Ownership Downgrading for Ownership Types
No abstract available.
Related papers
- Gradual Ownership Types ESOP 2012
- Ownership Types for Object Synchronisation APLAS 2012
- Multiple Aggregate Entry Points for Ownership Types ECOOP 2012
- Structural Lock Correlation with Ownership Types ESOP 2013
- Simple Ownership Types for Object Containment ECOOP 2001
- Borrowable Fractional Ownership Types for Verification VMCAI 2024
- Dynamic ownership in a dynamic language DLS 2007
- Ownership transfer in universe types OOPSLA 2007