On the practicality of global flow analysis of logic programs

Warren, Richard and Hermenegildo, Manuel V. (1988). On the practicality of global flow analysis of logic programs. In: "The FiFifth international conference and symposium on logic programming", August 15-19, 1988, Seattle, Washington. ISBN 0262610566.

Description

Title: On the practicality of global flow analysis of logic programs
Author/s:
  • Warren, Richard
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: The FiFifth international conference and symposium on logic programming
Event Dates: August 15-19, 1988
Event Location: Seattle, Washington
Title of Book: Logic Programming, Proceedings of the Fifth International Conference and Symposium
Date: August 1988
ISBN: 0262610566
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (743kB) | Preview

Abstract

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.

More information

Item ID: 14528
DC Identifier: http://oa.upm.es/14528/
OAI Identifier: oai:oa.upm.es:14528
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 21 Feb 2013 08:17
Last Modified: 21 Apr 2016 14:14
  • 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