diff options
Diffstat (limited to '')
-rw-r--r-- | documentation/bookmark/abstract_interpretation.md (renamed from documentation/bookmark/Abstract interpretation.md) | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/documentation/bookmark/Abstract interpretation.md b/documentation/bookmark/abstract_interpretation.md index d98525f7c..ce790a93b 100644 --- a/documentation/bookmark/Abstract interpretation.md +++ b/documentation/bookmark/abstract_interpretation.md @@ -1,4 +1,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) |