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...
Guardado en:
Autor principal: | |
---|---|
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 |