Citation
Codish, Michael and García de la Banda, M. and Bruynooghe, Maurice and Hermenegildo, Manuel V.
(1994).
Goal dependent vs goal independent analysis of logic programs.
In: "Fifth International Conference on Logic Programming and Automated Reasoning", July 16 - 22, 1994, Kiev, Ukraine. ISBN 9783540582168.
Abstract
Goal independent analysis of logic programs is commonly
discussed in the context of the bottom-up approach. However, while the literature is rich in descriptions of top-down analysers and their application, practical experience with bottom-up analysis is still in a preliminary
stage. Moreover, the practical use of existing top-down frameworks for goal independent analysis has not been addressed in a practical system. We illustrate the efficient use of existing goal dependent, top-down frameworks for abstract interpretation in performing goal independent analyses of logic programs much the same as those usually derived from bottom-up frameworks. We present several optimizations for this flavour of top-down analysis. The approach is fully implemented within an existing top-down framework. Several implementation tradeoffs are discussed as well as the influence of domain characteristics. An experimental evaluation including a comparison with a bottom-up analysis for the domain Prop is presented. We conclude that the technique can offer advantages with respect to standard goal dependent analyses.