aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/abstract_interpretation.md
blob: cddd6efba23c669974d485be10957bc06b2e4ebc (plain)
1
2
3
4
5
6
# Reference

0. [SSA Translation is an Abstract Interpretation](https://binsec.github.io/assets/publications/papers/2023-popl-full-with-appendices.pdf)
0. [Principles of Abstract Interpretation](https://mitpress.mit.edu/books/principles-abstract-interpretation)
0. ["Easy Abstract Interpretation with SPARTA" by Arnaud Venet and Jez Ng](https://www.youtube.com/watch?v=_fA7vkVJhF8)