From 4049370ec0d0bec578b8fcb83700d020e81386c4 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Tue, 17 Sep 2019 00:27:13 -0400 Subject: Fixed some bugs related to JVM types. --- documentation/research/Abstract interpretation.md | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 documentation/research/Abstract interpretation.md (limited to 'documentation/research/Abstract interpretation.md') diff --git a/documentation/research/Abstract interpretation.md b/documentation/research/Abstract interpretation.md new file mode 100644 index 000000000..d98525f7c --- /dev/null +++ b/documentation/research/Abstract interpretation.md @@ -0,0 +1,4 @@ +# Reference + +1. ["Easy Abstract Interpretation with SPARTA" by Arnaud Venet and Jez Ng](https://www.youtube.com/watch?v=_fA7vkVJhF8) + -- cgit v1.2.3