Full text
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (743kB) | Preview |
On the practicality of global flow analysis of logic programs
Citation
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: |
|
| 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 |
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: | https://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 |
