Estimating the computational cost of logic programs

S. K. Debray, P. López Garćia, M. Hermenegildo, N. W. Lin

Research output: Chapter in Book/Report/Conference proceedingConference contribution

22 Scopus citations

Abstract

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.

Original languageEnglish (US)
Title of host publicationStatic Analysis - 1st International Static Analysis Symposium, SAS '94, Proceedings
EditorsBaudouin Le Charlier
PublisherSpringer-Verlag
Pages255-265
Number of pages11
ISBN (Print)9783540584858
StatePublished - Jan 1 1994
Event1st International Static Analysis Symposium, SAS 1994 - Namur, Belgium
Duration: Sep 28 1994Sep 30 1994

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume864 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other1st International Static Analysis Symposium, SAS 1994
CountryBelgium
CityNamur
Period9/28/949/30/94

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Estimating the computational cost of logic programs'. Together they form a unique fingerprint.

  • Cite this

    Debray, S. K., López Garćia, P., Hermenegildo, M., & Lin, N. W. (1994). Estimating the computational cost of logic programs. In B. Le Charlier (Ed.), Static Analysis - 1st International Static Analysis Symposium, SAS '94, Proceedings (pp. 255-265). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 864 LNCS). Springer-Verlag.