Using Call/Exit Analysis for Logic Program Transformation.

Dmitri Boulanger, Maurice Bruynooghe

Browse the full LOPSTR paper archive.