On the Desirable Link Between Theory and Practice in Abstract Interpretation (Extended Abstract).

Baudouin Le Charlier, Pierre Flener

Browse the full SAS paper archive.