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

Bueno Carrillo, Francisco and Cabeza Gras, Daniel and Hermenegildo, Manuel V. and Puebla Sánchez, Alvaro Germán (1995). Data-Flow analysis of prolog programs with extra-logical features. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Description

Title: Data-Flow analysis of prolog programs with extra-logical features
Author/s:
  • Bueno Carrillo, Francisco
  • Cabeza Gras, Daniel
  • Hermenegildo, Manuel V.
  • Puebla Sánchez, Alvaro Germán
Item Type: Monograph (Technical Report)
Date: March 1995
Subjects:
Freetext Keywords: Data-flow analysis, Abstract interpretation, Standard Prolog, Análisis de flujos de datos, Interpretación abstracta.
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

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

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. 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.

More information

Item ID: 15084
DC Identifier: http://oa.upm.es/15084/
OAI Identifier: oai:oa.upm.es:15084
Official URL: ftp://clip.dia.fi.upm.es/pub/papers/DIRECTORY.html~
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 07 May 2013 06:46
Last Modified: 21 Apr 2016 15:11
  • 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