• RustBelt: securing the foundations of the Rust programming language https://dl.acm.org/citation.cfm?doid=3177123.3158154 105 comments 4/2/2018

• Rust's ownership model formally proven with Coq https://dl.acm.org/citation.cfm?doid=3177123.3158154 3 comments 4/2/2018 compsci , formalmethods , rust

• RustBelt: securing the foundations of the rust programming language https://dl.acm.org/citation.cfm?doid=3177123.3158154 9 comments 4/2/2018 rust

Related searches:

Search whole site: site:dl.acm.org

Search title: RustBelt: securing the foundations of the Rust programming language | Proceedings of the ACM on Programming Languages

See how to search.