Deriving Transformations for Logic Programs Using Abstract Interpretation.

Dmitri Boulanger, Maurice Bruynooghe

Browse the full LOPSTR paper archive.