Implementing Rust borrow checking with Spoofax

Amin Ait Lamqadem

Rust is a new programming language, targeting system programming. One interesting feature is how it enforces memory safety and data race freedom, in the face of aliasing and mutability, using lifetimes and borrowing. In this talk we will see the main idea of the borrow checker and how we want to implement it in Spoofax.

---

Previous: | AlanLight
Next: Jente Hidskes | Increasing precision of Abstract Interpretation of Program Transformations