Borrowable Fractional Ownership Types for Verification
No abstract available.
Related papers
- Functional Ownership through Fractional Uniqueness OOPSLA 2024
- Place Capability Graphs: A General-Purpose Model of Rust's Ownership and Borrowing Guarantees OOPSLA 2025
- ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs ESOP 2020
- Ownership Refinement Types for Pointer Arithmetic and Nested Arrays ECOOP 2026
- Using Ghost Ownership to Verify Union-Find and Persistent Arrays in Rust CPP 2026
- A type system for borrowing permissions POPL 2012
- Fractional Ownerships for Safe Memory Deallocation APLAS 2009
- Flux: Liquid Types for Rust PLDI 2023