Using Abstract Interpretation for Goal Replacement.

Dmitri Boulanger, Maurice Bruynooghe

Browse the full LOPSTR paper archive.