Towards Optimization of Full Prolog Programs guided by Abstract Interpretation

Anne Parrain, Philippe Devienne, Patrick Lebègue. Towards Optimization of Full Prolog Programs guided by Abstract Interpretation. In WSA. pages 295-303, 1992.

Abstract

Abstract is missing.