Texto completo
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (641kB) | Vista Previa |
Estimating the computational cost of logic programs
Cita
Debray, S.K., López García, Pedro, Hermenegildo, Manuel V. 
ORCID: https://orcid.org/0000-0002-7583-323X and Lin, Nai-Wei
(1994).
Estimating the computational cost of logic programs.
En: "First International Static Analysis Symposium, SAS '94", September 28-30, 1994, Namur, Belgium. ISBN 9783540584858.
ORCID: https://orcid.org/0000-0002-7583-323X and Lin, Nai-Wei
(1994).
Estimating the computational cost of logic programs.
En: "First International Static Analysis Symposium, SAS '94", September 28-30, 1994, Namur, Belgium. ISBN 9783540584858.
Descripción
| Título: | Estimating the computational cost of logic programs |
|---|---|
| Autor/es: |
|
| Tipo de Documento: | Ponencia en Congreso o Jornada (Artículo) |
| Título del Evento: | First International Static Analysis Symposium, SAS '94 |
| Fechas del Evento: | September 28-30, 1994 |
| Lugar del Evento: | Namur, Belgium |
| Título del Libro: | Static Analysis |
| Fecha: | Septiembre 1994 |
| ISBN: | 9783540584858 |
| Volumen: | 864 |
| Materias: | |
| ODS: | |
| Escuela: | Facultad de Informática (UPM) [antigua denominación] |
| Departamento: | Inteligencia Artificial |
| Licencias Creative Commons: | Reconocimiento - Sin obra derivada - No comercial |
Resumen
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.
Más información
| ID de Registro: | 14558 |
|---|---|
| Identificador DC: | https://oa.upm.es/14558/ |
| Identificador OAI: | oai:oa.upm.es:14558 |
| URL Oficial: | http://link.springer.com/chapter/10.1007/3-540-584... |
| Depositado por: | Biblioteca Facultad de Informatica |
| Depositado el: | 27 Feb 2013 07:38 |
| Ultima Modificación: | 21 Abr 2016 14:17 |
Acciones
- Estadísticas
- Exportar cita
- Editar (sólo personal del Archivo)
