Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation.

Anne Parrain, Philippe Devienne, Patrick Lebgue

Browse the full LOPSTR paper archive.