A Simple and General Method for Integrating Abstract Interpretation in SICStus.

Dante Baldan, Nicola Civran, Gilberto Fil, Francesco Pulvirenti

Browse the full PPDP paper archive.