Global flow analysis as a practical compilation tool

Hermenegildo, Manuel V. and Warren, Richard and 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.

Description

Title: Global flow analysis as a practical compilation tool
Author/s:
  • Hermenegildo, Manuel V.
  • Warren, Richard
  • Debray, S.K.
Item Type: Article
Título de Revista/Publicación: Journal of logic programming
Date: August 1992
ISSN: 1567-8326
Volume: 13
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[thumbnail of HERME_A_1992-1.pdf]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview

Abstract

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.

More information

Item ID: 14288
DC Identifier: https://oa.upm.es/14288/
OAI Identifier: oai:oa.upm.es:14288
DOI: 10.1016/0743-1066(92)90053-6
Official URL: http://www.sciencedirect.com/science/article/pii/0...
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 16 Jan 2013 07:51
Last Modified: 28 Feb 2023 10:35
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM