<> "The repository administrator has not yet configured an RDF license."^^ .
<> .
.
.
"Exploiting goal independence in the analysis of logic programs"^^ .
"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\r\ndependent 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\r\nto 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\r\ntop-down analyzer is described."^^ .
"1997-09" .
.
"32" .
"3" .
.
"Elsevier - North-Holland"^^ .
.
.
"Journal of logic programming"^^ .
.
.
"15678326" .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
"Maurice"^^ .
"Bruynooghe"^^ .
"Maurice Bruynooghe"^^ .
.
"Manuel V."^^ .
"Hermenegildo"^^ .
"Manuel V. Hermenegildo"^^ .
.
"M."^^ .
"García de la Banda"^^ .
"M. García de la Banda"^^ .
.
"Michael"^^ .
"Codish"^^ .
"Michael Codish"^^ .
.
.
.
.
.
"Exploiting goal independence in the analysis of logic programs (PDF)"^^ .
.
.
"HERME_A_1997-1.pdf"^^ .
.
.
"Exploiting goal independence in the analysis of logic programs (Other)"^^ .
.
.
.
.
.
"indexcodes.txt"^^ .
.
.
"Exploiting goal independence in the analysis of logic programs (Other)"^^ .
.
.
.
.
.
"lightbox.jpg"^^ .
.
.
"Exploiting goal independence in the analysis of logic programs (Other)"^^ .
.
.
.
.
.
"preview.jpg"^^ .
.
.
"Exploiting goal independence in the analysis of logic programs (Other)"^^ .