On the practicality of global flow analysis of logic programs

Warren, Richard y Hermenegildo, Manuel V. (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:
  • Warren, Richard
  • Hermenegildo, Manuel V.
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:
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (743kB) | Vista Previa

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: http://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
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM