PROBABILISTIC COST ANALYSIS OF LOGIC PROGRAMS

Cost analyses of logic programs have been developed which make it possible to obtain automatically lower and upper bounds of runtime cost of computations. This information is very useful for a variety of purposes, including granularity control, query optimization in databases, and program transforma...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Soza Pollman,Héctor Juan
Lenguaje:English
Publicado: Universidad de Tarapacá. 2009
Materias:
Acceso en línea:http://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0718-33052009000200008
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
id oai:scielo:S0718-33052009000200008
record_format dspace
spelling oai:scielo:S0718-330520090002000082009-09-10PROBABILISTIC COST ANALYSIS OF LOGIC PROGRAMSSoza Pollman,Héctor Juan Logic programming cost analysis complexity analysis program analysis resource consumption estimation Cost analyses of logic programs have been developed which make it possible to obtain automatically lower and upper bounds of runtime cost of computations. This information is very useful for a variety of purposes, including granularity control, query optimization in databases, and program transformation and synthesis. However, current techniques suffer a loss of accuracy in some cases which are quite representative (i.e., some divide-and-conquer programs as QuickSort). This paper describes an alternative probabilistic approach which makes it possible to figure out an estimate of the execution cost. One of its advantages is that it needs only a few changes over previously proposed schemes.info:eu-repo/semantics/openAccessUniversidad de Tarapacá.Ingeniare. Revista chilena de ingeniería v.17 n.2 20092009-08-01text/htmlhttp://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0718-33052009000200008en10.4067/S0718-33052009000200008
institution Scielo Chile
collection Scielo Chile
language English
topic Logic programming
cost analysis
complexity analysis
program analysis
resource consumption estimation
spellingShingle Logic programming
cost analysis
complexity analysis
program analysis
resource consumption estimation
Soza Pollman,Héctor Juan
PROBABILISTIC COST ANALYSIS OF LOGIC PROGRAMS
description Cost analyses of logic programs have been developed which make it possible to obtain automatically lower and upper bounds of runtime cost of computations. This information is very useful for a variety of purposes, including granularity control, query optimization in databases, and program transformation and synthesis. However, current techniques suffer a loss of accuracy in some cases which are quite representative (i.e., some divide-and-conquer programs as QuickSort). This paper describes an alternative probabilistic approach which makes it possible to figure out an estimate of the execution cost. One of its advantages is that it needs only a few changes over previously proposed schemes.
author Soza Pollman,Héctor Juan
author_facet Soza Pollman,Héctor Juan
author_sort Soza Pollman,Héctor Juan
title PROBABILISTIC COST ANALYSIS OF LOGIC PROGRAMS
title_short PROBABILISTIC COST ANALYSIS OF LOGIC PROGRAMS
title_full PROBABILISTIC COST ANALYSIS OF LOGIC PROGRAMS
title_fullStr PROBABILISTIC COST ANALYSIS OF LOGIC PROGRAMS
title_full_unstemmed PROBABILISTIC COST ANALYSIS OF LOGIC PROGRAMS
title_sort probabilistic cost analysis of logic programs
publisher Universidad de Tarapacá.
publishDate 2009
url http://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0718-33052009000200008
work_keys_str_mv AT sozapollmanhectorjuan probabilisticcostanalysisoflogicprograms
_version_ 1714203376674144256