Global analysis of constraint logic programs

Bruynooghe, Maurice and Dumortier, Veroniek and García de la Banda, M. and Hermenegildo, Manuel V. and Janssens, G. and Simoens, W. (1996). Global analysis of constraint logic programs. "ACM transactions on programming languages and systems", v. 18 (n. 5); pp. 564-615. ISSN 0164-0925. https://doi.org/10.1145/232706.232734.

Description

Title: Global analysis of constraint logic programs
Author/s:
  • Bruynooghe, Maurice
  • Dumortier, Veroniek
  • García de la Banda, M.
  • Hermenegildo, Manuel V.
  • Janssens, G.
  • Simoens, W.
Item Type: Article
Título de Revista/Publicación: ACM transactions on programming languages and systems
Date: September 1996
ISSN: 0164-0925
Volume: 18
Subjects:
Freetext Keywords: Abstract interpretation, Constraint logic programming, Global program analysis, Program analysis, Programación lógica por restricciones, Programación de ordenadores
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 (3MB) | Preview

Abstract

This article presents and illustrates a practical approach to the dataow analysis of constraint logic programming languages using abstract interpretation. It is rst argued that from the framework point of view it suces to propose relatively simple extensions of traditional analysis methods which have already been proved useful and practical and for exist. This is shown by proposing a simple extension of Bruynooghes traditional framework which allows it to analyze constraint logic programs. Then and using this generalized framework two abstract domains and their required abstract functions are presented the rst abstract domain approximates deniteness information and the second one freeness. Finally an approach for cobining those domains is proposed The two domains and their combination have been implemented and used in the analysis of CLP and Prolog III applications. Results from this implementation showing its performance and accuracy are also presented

More information

Item ID: 13752
DC Identifier: http://oa.upm.es/13752/
OAI Identifier: oai:oa.upm.es:13752
DOI: 10.1145/232706.232734
Official URL: http://dl.acm.org/citation.cfm?id=232706&CFID=182044751&CFTOKEN=48619248
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 23 Oct 2012 12:28
Last Modified: 21 Apr 2016 13:06
  • 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