Increasing precision of Abstract Interpretation of Program Transformations

Jente Hidskes

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

Previous: Amin Ait Lamqadem |
Next: Sander Bosma |