Preprints
Place Capability Graphs: A General-Purpose Model of Rust's Ownership and Borrowing Guarantees
Zachary Grannan, Aurel Bíly, Jonáš Fiala, Jasper Geer,
Markus de Medeiros
, Peter Müller, Alexander J. Summers
Submitted to
OOPSLA 2025
[ arXiv ]