Title: Exploiting goal independence in the analysis of logic programs
Authors: Codish, Michael ×
Bruynooghe, Maurice
Garcia de la Banda, Maria
Hermenegildo, Manuel #
Issue Date: Sep-1997
Publisher: Elsevier science inc
Series Title: Journal of logic programming vol:32 issue:3 pages:247-261
Abstract: 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 bottom-up 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 precision, The influence of domain characteristics on this precision is discussed and an experimental evaluation using a generic top-down analyzer is described. Our results provide intuition regarding the cases where a two phase analysis might be worthwhile, (C) Elsevier Science Inc., 1997.
ISSN: 0743-1066
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
1733.pdf Published 252KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science