Hacker News new | ask | show | jobs
by TACIXAT 2633 days ago
This is the most digestible intro to abstract interpretation that I've found, https://wiki.mozilla.org/Abstract_Interpretation.