%A S.K. Debray
%A Pedro L?pez Garc?a
%A Manuel V. Hermenegildo
%A Nai-Wei Lin
%T Estimating the computational cost of logic programs
%X Information about the computational cost of programs is potentially useful for a variety of purposes, including selecting among different algorithms, guiding program transformations, in granularity control and mapping decisions in parallelizing compilers, and query optimization in deductive databases. Cost analysis of logic programs is complicated by nondeterminism: on the one hand, procedures can return m?ltiple Solutions, making it necessary to est?mate the number of solutions in order to give nontrivial upper bound cost estimates; on the other hand, the possibility of failure has to be taken into account while estimating lower bounds. Here we discuss techniques to address these problems to some extent.
%B Static Analysis
%V 864
%D 1994
%C Heidelberg, Alemania
%I Springer Berlin Heidelberg
%L upm14558