diff options
author | Eduardo Julian | 2022-11-25 01:26:00 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-11-25 01:26:00 -0400 |
commit | 09a29c952edb851e13edd454bd118c1c1ae83ade (patch) | |
tree | c27287569bdb0ffd190549a4bb1eb1899b9b20f4 /documentation/bookmark/abstract_interpretation.md | |
parent | 44cff1dcbd6cd23ef455923b707104302dde1aad (diff) |
Added support for saturation arithmetic.
Diffstat (limited to 'documentation/bookmark/abstract_interpretation.md')
-rw-r--r-- | documentation/bookmark/abstract_interpretation.md | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/documentation/bookmark/abstract_interpretation.md b/documentation/bookmark/abstract_interpretation.md index ce790a93b..cddd6efba 100644 --- a/documentation/bookmark/abstract_interpretation.md +++ b/documentation/bookmark/abstract_interpretation.md @@ -1,5 +1,6 @@ # 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) +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) |