Communications of the ACM

A Grounded Conceptual Model for Ownership Types in Rust

Programmers learning Rust struggle to understand own\x02ership types, Rust’s core mechanism for ensuring memory safety ...