External Uniqueness Is Unique Enough
No abstract available.
Related papers
- Uniqueness and reference immutability for safe parallelism OOPSLA 2012
- A type system for borrowing permissions POPL 2012
- Symbolic heap abstraction with demand-driven axiomatization of memory invariants OOPSLA 2010
- GC assertions: using the garbage collector to check heap properties PLDI 2009
- Uniqueness and Completeness Analysis of Array Comprehensions SAS 1994
- Capabilities for Sharing: A Generalisation of Uniqueness and Read-Only ECOOP 2001
- Memory Safety: Uniqueness as Separation APLAS 2025
- Equations, Contractions, and Unique Solutions POPL 2015