Global analysis of standard prolog programs

Bueno Carrillo, Francisco; Cabeza Gras, Daniel; Hermenegildo, Manuel V. y Puebla Sánchez, Alvaro Germán (1996). Global analysis of standard prolog programs. En: "6th European Symposium on Programming", April, 22 - 24, 1996, Linköping, Sweden. ISBN 9783540610557.


Título: Global analysis of standard prolog programs
  • Bueno Carrillo, Francisco
  • Cabeza Gras, Daniel
  • Hermenegildo, Manuel V.
  • Puebla Sánchez, Alvaro Germán
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 6th European Symposium on Programming
Fechas del Evento: April, 22 - 24, 1996
Lugar del Evento: Linköping, Sweden
Título del Libro: Programming Languages and Systems — ESOP '96
Fecha: Abril 1996
ISBN: 9783540610557
Volumen: 1058
Palabras Clave Informales: Logic programming, Abstract interpretation, Optimization, Programación lógica, Interpretación de resúmenes, Optimización.
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB) | Vista Previa


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.

Más información

ID de Registro: 14422
Identificador DC:
Identificador OAI:
URL Oficial:
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 06 Feb 2013 15:46
Ultima Modificación: 21 Abr 2016 14:04
  • InvestigaM
  • GEO_UP4
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM