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.

Possibly Related Publications

The following publications are possibly variants of this publication: