Full text
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview |
Global analysis of standard prolog programs
Citation
Bueno Carrillo, Francisco, Cabeza Gras, Daniel, Hermenegildo, Manuel V. and Puebla Sánchez, Alvaro Germán (1996). Global analysis of standard prolog programs. In: "6th European Symposium on Programming", April, 22 - 24, 1996, Linköping, Sweden. ISBN 9783540610557.
Description
| Title: | Global analysis of standard prolog programs |
|---|---|
| Author/s: |
|
| Item Type: | Presentation at Congress or Conference (Article) |
| Event Title: | 6th European Symposium on Programming |
| Event Dates: | April, 22 - 24, 1996 |
| Event Location: | Linköping, Sweden |
| Title of Book: | Programming Languages and Systems — ESOP '96 |
| Date: | April 1996 |
| ISBN: | 9783540610557 |
| Volume: | 1058 |
| Subjects: | |
| Freetext Keywords: | Logic programming, Abstract interpretation, Optimization, Programación lógica, Interpretación de resúmenes, Optimización. |
| Faculty: | Facultad de Informática (UPM) |
| Department: | Inteligencia Artificial |
| Creative Commons Licenses: | Recognition - No derivative works - Non commercial |
Abstract
Abstract
interpretation-based data-flow analysis of logic programs is, at this point, relatively well understood from the point of view of general frameworks and abstract domains. On the other hand, comparatively little attention has been given to the problems which arise when analysis of a full, practical dialect of the Prolog language is attempted, and only few solutions to these problems have been proposed to date. Existing proposals generally restrict in one way or another the classes of programs which can be analyzed. This paper attempts to fill this gap by considering a full dialect of Prolog, essentially the recent ISO standard, pointing out the problems that may arise in the analysis of such a dialect, and proposing a combination of known and novel solutions that together allow the correct analysis of arbitrary programs which use the full power of the language.
More information
| Item ID: | 14422 |
|---|---|
| DC Identifier: | https://oa.upm.es/14422/ |
| OAI Identifier: | oai:oa.upm.es:14422 |
| Official URL: | http://link.springer.com/chapter/10.1007%2F3-540-6... |
| Deposited by: | Biblioteca Facultad de Informatica |
| Deposited on: | 06 Feb 2013 15:46 |
| Last Modified: | 27 Feb 2023 12:15 |
