%A Michael Codish
%A Maurice Bruynooghe
%A M. Garc?a de la Banda
%A Manuel V. Hermenegildo
%J Journal of logic programming
%T Exploiting goal independence in the analysis of logic programs
%X This paper illustrates the use of a top-down framework to obtain goal independent analyses of logic programs, a task which is usually associated with the bottom-up approach. While it is well known that the bottomup approach can be used, through the magic set transformation, for goal
dependent analysis, it is less known that the top-down approach can be used for goal independent analysis. The paper describes two ways of doing the latter. We show how the results of a goal independent analysis can be used
to speed up subsequent goal dependent analyses. However this speed-up may result in a loss of precisi?n. The influence of domain characteristics on this precisi?n is discussed and an experimental evaluation using a generic
top-down analyzer is described.
%N 3
%P 247-261
%V 32
%D 1997
%I Elsevier - North-Holland
%R 10.1016/S0743-1066(96)00143-4
%L upm14268