Global analysis of standard prolog programs

Bueno Carrillo, Francisco and Cabeza Gras, Daniel and 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.


Title: Global analysis of standard prolog programs
  • Bueno Carrillo, Francisco
  • Cabeza Gras, Daniel
  • Hermenegildo, Manuel V.
  • Puebla Sánchez, Alvaro Germán
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
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

Full text

PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview


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:
OAI Identifier:
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 06 Feb 2013 15:46
Last Modified: 21 Apr 2016 14:04
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM