TY - GEN
T1 - Estimating the computational cost of logic programs
AU - Debray, S. K.
AU - López Garćia, P.
AU - Hermenegildo, M.
AU - Lin, N. W.
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1994.
PY - 1994
Y1 - 1994
N2 - 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 multiple solutions, making it necessary to estimate 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.
AB - 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 multiple solutions, making it necessary to estimate 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.
UR - http://www.scopus.com/inward/record.url?scp=0010734404&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0010734404&partnerID=8YFLogxK
U2 - 10.1007/3-540-58485-4_45
DO - 10.1007/3-540-58485-4_45
M3 - Conference contribution
AN - SCOPUS:0010734404
SN - 9783540584858
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 255
EP - 265
BT - Static Analysis - 1st International Static Analysis Symposium, SAS '94, Proceedings
A2 - Le Charlier, Baudouin
PB - Springer-Verlag
T2 - 1st International Static Analysis Symposium, SAS 1994
Y2 - 28 September 1994 through 30 September 1994
ER -