documentation/bookmark/abstract_interpretation.md


1
2
3
4
5

# Reference

1. [Principles of Abstract Interpretation](https://mitpress.mit.edu/books/principles-abstract-interpretation)
1. ["Easy Abstract Interpretation with SPARTA" by Arnaud Venet and Jez Ng](https://www.youtube.com/watch?v=_fA7vkVJhF8)