Estimating the computational cost of logic programs

Debray, S.K. and López García, Pedro and Hermenegildo, Manuel V. and Lin, Nai-Wei (1994). Estimating the computational cost of logic programs. In: "First International Static Analysis Symposium, SAS '94", September 28-30, 1994, Namur, Belgium. ISBN 9783540584858.

Description

Title: Estimating the computational cost of logic programs
Author/s:
  • Debray, S.K.
  • López García, Pedro
  • Hermenegildo, Manuel V.
  • Lin, Nai-Wei
Item Type: Presentation at Congress or Conference (Article)
Event Title: First International Static Analysis Symposium, SAS '94
Event Dates: September 28-30, 1994
Event Location: Namur, Belgium
Title of Book: Static Analysis
Date: September 1994
ISBN: 9783540584858
Volume: 864
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (641kB) | Preview

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 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.

More information

Item ID: 14558
DC Identifier: http://oa.upm.es/14558/
OAI Identifier: oai:oa.upm.es:14558
Official URL: http://link.springer.com/chapter/10.1007/3-540-58485-4_45
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 27 Feb 2013 07:38
Last Modified: 21 Apr 2016 14:17
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM