Place Capability Graphs: A General-Purpose Model of Rust's Ownership and Borrowing Guarantees

Rust's novel type system has proved an attractive target for verification and program analysis tools, due to the rich guarantees it provides for controlling aliasing and mutability. However, fully understanding, extracting and exploiting these guarantees is subtle and challenging: existing models...

Full beskrivning

Bibliografiska uppgifter

Huvudupphov:	Grannan, Zachary, Bílá, Aurea, Fiala, Jonáš, Geer, Jasper, de Medeiros, Markus, Müller, Peter, Summers, Alexander J.
Materialtyp:	Artikel
Utgiven:	2025
Ämnen:	Programming Languages
Länkar:	https://arxiv.org/abs/2503.21691 http://arxiv.org/abs/2503.21691
Taggar:	Lägg till en tagg Inga taggar, Lägg till första taggen!