A practical approach to the global analysis of CLP programs

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

Descripción

Título: A practical approach to the global analysis of CLP programs
Autor/es:
  • García de la Banda, M.
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 1993 international symposium on Logic programming
Fechas del Evento: 26-29, October, 1993
Lugar del Evento: Vancouver, British Columbia
Título del Libro: ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Fecha: Octubre 1993
ISBN: 0262631520
Materias:
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

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.

Más información

ID de Registro: 14456
Identificador DC: http://oa.upm.es/14456/
Identificador OAI: oai:oa.upm.es:14456
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 12 Feb 2013 07:48
Ultima Modificación: 21 Abr 2016 14:09
  • 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