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...

Fuld beskrivelse

Bibliografiske detaljer

Autores principales:	Grannan, Zachary, Bílá, Aurea, Fiala, Jonáš, Geer, Jasper, de Medeiros, Markus, Müller, Peter, Summers, Alexander J.
Format:	Artículo
Udgivet:	2025
Fag:	Programming Languages
Online adgang:	https://arxiv.org/abs/2503.21691 http://arxiv.org/abs/2503.21691
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!