Abstract Interpretation: Difference between revisions