On Various Abstract Understandings of Abstract Interpretation.

Patrick Cousot

Browse the full TASE paper archive.