Implementing Rust borrow checking with Spoofax
Amin Ait Lamqadem
Date: Wed, January 31, 2018
Room: Yellow Brickroad (Bouwcampus)
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.
Next: Jente Hidskes | Increasing precision of Abstract Interpretation of Program Transformations