Implementing Rust borrow checking with Spoofax

Amin Ait Lamqadem

Date: Wed, January 31, 2018
Time: 12:00
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.

Previous: |
Next: Jente Hidskes |