Tacked Borrows an Aliasing Model for Rust

Paper
Technical Appendix
Coq Formalization
Artifact (with VM)
Read more

Similar