Data-Flow analysis of prolog programs with extra-logical features

Bueno Carrillo, Francisco; Cabeza Gras, Daniel; Hermenegildo, Manuel V. y Puebla Sánchez, Alvaro Germán (1995). Data-Flow analysis of prolog programs with extra-logical features. Monografía (Informe Técnico). Facultad de Informática (UPM) [antigua denominación], Madrid, Spain.

Descripción

Título: Data-Flow analysis of prolog programs with extra-logical features
Autor/es:
  • Bueno Carrillo, Francisco
  • Cabeza Gras, Daniel
  • Hermenegildo, Manuel V.
  • Puebla Sánchez, Alvaro Germán
Tipo de Documento: Monográfico (Informes, Documentos de trabajo, etc.) (Informe Técnico)
Fecha: Marzo 1995
Materias:
Palabras Clave Informales: Data-flow analysis, Abstract interpretation, Standard Prolog, Análisis de flujos de datos, Interpretación abstracta.
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

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

Resumen

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. Such problems relate to dealing correctly with all builtins, including meta-logical and extra-logical predicates, with dynamic predicates (where the program is modified during execution), and with the absence of certain program text during compilation. Existing proposals for dealing with such issues generally restrict in one way or another the classes of programs which can be analyzed if the information from analysis is to be used for program optimization. This paper attempts to fill this gap by considering a full dialect of Prolog, essentially following the recently proposed 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 using the full power of the language.

Más información

ID de Registro: 15084
Identificador DC: http://oa.upm.es/15084/
Identificador OAI: oai:oa.upm.es:15084
URL Oficial: ftp://clip.dia.fi.upm.es/pub/papers/DIRECTORY.html~
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 07 May 2013 06:46
Ultima Modificación: 21 Abr 2016 15:11
  • 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
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM