Global analysis of standard prolog programs

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.


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

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



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:
Official URL:
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 06 Feb 2013 15:46
Last Modified: 27 Feb 2023 12:15
  • 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