Abstract Interpretation as Automated Deduction.

Vijay D'Silva, Caterina Urban

Browse the full CADE paper archive.