Texto completo
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (743kB) | Vista Previa |
On the practicality of global flow analysis of logic programs
Cita
Warren, Richard and Hermenegildo, Manuel V. 
ORCID: https://orcid.org/0000-0002-7583-323X
(1988).
On the practicality of global flow analysis of logic programs.
En: "The FiFifth international conference and symposium on logic programming", August 15-19, 1988, Seattle, Washington. ISBN 0262610566.
ORCID: https://orcid.org/0000-0002-7583-323X
(1988).
On the practicality of global flow analysis of logic programs.
En: "The FiFifth international conference and symposium on logic programming", August 15-19, 1988, Seattle, Washington. ISBN 0262610566.
Descripción
| Título: | On the practicality of global flow analysis of logic programs |
|---|---|
| Autor/es: |
|
| Tipo de Documento: | Ponencia en Congreso o Jornada (Artículo) |
| Título del Evento: | The FiFifth international conference and symposium on logic programming |
| Fechas del Evento: | August 15-19, 1988 |
| Lugar del Evento: | Seattle, Washington |
| Título del Libro: | Logic Programming, Proceedings of the Fifth International Conference and Symposium |
| Fecha: | Agosto 1988 |
| ISBN: | 0262610566 |
| Materias: | |
| ODS: | |
| Escuela: | Facultad de Informática (UPM) [antigua denominación] |
| Departamento: | Inteligencia Artificial |
| Licencias Creative Commons: | Reconocimiento - Sin obra derivada - No comercial |
Resumen
This paper addresses the issue of the practicality of global flow analysis in logic program compilation, in terms of both speed and precision of analysis. It discusses design and implementation aspects of two practical abstract interpretation-based flow analysis systems: MA3, the MOO Andparallel Analyzer and Annotator; and Ms, an experimental mode inference system developed for SB-Prolog. The paper also provides performance data obtained from these implementations. Based on these results, it is concluded that the overhead of global flow analysis is not prohibitive, while the results of analysis can be quite precise and useful.
Más información
| ID de Registro: | 14528 |
|---|---|
| Identificador DC: | https://oa.upm.es/14528/ |
| Identificador OAI: | oai:oa.upm.es:14528 |
| Depositado por: | Biblioteca Facultad de Informatica |
| Depositado el: | 21 Feb 2013 08:17 |
| Ultima Modificación: | 21 Abr 2016 14:14 |
Acciones
- Estadísticas
- Exportar cita
- Editar (sólo personal del Archivo)
