Gradual Ownership Types
Abstract elided by the publisher.
Related papers
- Programming with permissions in Mezzo ICFP 2013
- Gradual verification of recursive heap data structures OOPSLA 2020
- A Typed Intermediate Representation for Dynamic Languages TOPLAS 2026
- Gradual C0: Symbolic Execution for Gradual Verification TOPLAS 2024
- Abstracting Gradual References (SCICO Journal-first) ECOOP 2020
- Ownership Downgrading for Ownership Types APLAS 2009
- Ownership Types for Object Synchronisation APLAS 2012
- Multiple Aggregate Entry Points for Ownership Types ECOOP 2012