Global flow analysis as a practical compilation tool

Hermenegildo, Manuel V.; Warren, Richard y Debray, S.K. (1992). Global flow analysis as a practical compilation tool. "Journal of logic programming", v. 13 (n. 4); pp. 349-367. ISSN 1567-8326. https://doi.org/10.1016/0743-1066(92)90053-6.

Descripción

Título: Global flow analysis as a practical compilation tool
Autor/es:
  • Hermenegildo, Manuel V.
  • Warren, Richard
  • Debray, S.K.
Tipo de Documento: Artículo
Título de Revista/Publicación: Journal of logic programming
Fecha: Agosto 1992
Volumen: 13
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 (1MB) | Vista Previa

Resumen

This paper addresses the issue of the practicality of global flow analysis in logic program compilation, in terms of speed of the analysis, precisión, and usefulness of the information obtained. To this end, design and implementation aspects are discussed for two practical abstract interpretation-based flow analysis systems: MA , the MCC And-parallel Analyzer and Annotator; and Ms, an experimental mode inference system developed for SB-Prolog. The paper also provides performance data obtained (rom these implementations and, as an example of an application, a study of the usefulness of the mode information obtained in reducing run-time checks in independent and-parallelism.Based on the results obtained, 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: 14288
Identificador DC: http://oa.upm.es/14288/
Identificador OAI: oai:oa.upm.es:14288
Identificador DOI: 10.1016/0743-1066(92)90053-6
URL Oficial: http://www.sciencedirect.com/science/article/pii/0743106692900536
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 16 Ene 2013 07:51
Ultima Modificación: 21 Abr 2016 13:52
  • 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