A practical approach to the global analysis of CLP programs

García de la Banda, M. and Hermenegildo, Manuel V. (1993). A practical approach to the global analysis of CLP programs. In: "1993 international symposium on Logic programming", 26-29, October, 1993, Vancouver, British Columbia. ISBN 0262631520.

Description

Title: A practical approach to the global analysis of CLP programs
Author/s:
  • García de la Banda, M.
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: 1993 international symposium on Logic programming
Event Dates: 26-29, October, 1993
Event Location: Vancouver, British Columbia
Title of Book: ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Date: October 1993
ISBN: 0262631520
Subjects:
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

This paper presents and illustrates with an example a practical approach to the dataflow analysis of programs written in constraint logic programming (CLP) languages using abstract interpretation. It is first argued that, from the framework point of view, it sufnces to propose relatively simple extensions of traditional analysis methods which have already been proved useful and practical and for which efncient fixpoint algorithms have been developed. This is shown by proposing a simple but quite general extensión of Bruynooghe's traditional framework to the analysis of CLP programs. In this extensión constraints are viewed not as "suspended goals" but rather as new information in the store, following the traditional view of CLP. Using this approach, and as an example of its use, a complete, constraint system independent, abstract analysis is presented for approximating definiteness information. The analysis is in fact of quite general applicability. It has been implemented and used in the analysis of CLP(R) and Prolog-III applications. Results from the implementation of this analysis are also presented.

More information

Item ID: 14456
DC Identifier: http://oa.upm.es/14456/
OAI Identifier: oai:oa.upm.es:14456
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 12 Feb 2013 07:48
Last Modified: 21 Apr 2016 14:09
  • 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