Increasing precision of Abstract Interpretation of Program Transformations

Jente Hidskes

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.

---

Previous: Amin Ait Lamqadem | Implementing Rust borrow checking with Spoofax
Next: Sander Bosma | IncA case study - implementing a type checker for the Rust language