Towards Optimization of Full Prolog Programs guided by Abstract Interpretation.

Anne Parrain, Philippe Devienne, Patrick Lebgue

Browse the full SAS paper archive.