Increasing precision of Abstract Interpretation of Program Transformations
Date: Wed, January 31, 2018
Room: Yellow Brickroad (Bouwcampus)
The result of an abstract interpreter is only useful if it is sufficiently precise. The output of Sven and Sebastian’s arrow-based abstract interpreter is necessarily limited given soundness and termination requirements. In this presentation I will outline my thesis: attempting to increase precision with a more precise representation of term shapes.
Amin Ait Lamqadem | Implementing Rust borrow checking with Spoofax
Next: Sander Bosma | IncA case study - implementing a type checker for the Rust language