Global Analysis of Constraint Logic Programs

M. Garcia De La Banda, M. Hermenegildo, M. Bruynooghe, V. Dumortier, G. Janssens, W. Simoens

Research output: Contribution to journalArticleResearchpeer-review

31 Citations (Scopus)

Abstract

This article presents and illustrates a practical approach to the dataflow analysis of constraint logic programming languages using abstract interpretation. It is first argued that, from the framework point of view, it suffices to propose relatively simple extensions of traditional analysis methods which have already been proved useful and practical and for which efficient fixpoint algorithms exist. This is shown by proposing a simple extension of Bruynooghe's 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 first abstract domain approximates definiteness information and the second one freeness. Finally, an approach for combining those domains is proposed. The two domains and their combination have been implemented and used in the analysis of CLP(script R sign) and Prolog-III applications. Results from this implementation showing its performance and accuracy are also presented.

Original languageEnglish
Pages (from-to)564-614
Number of pages51
JournalACM Transactions on Programming Languages and Systems
Volume18
Issue number5
Publication statusPublished - 1 Sep 1996
Externally publishedYes

Keywords

  • D.1.6 [Programming Techniques]: Logic Programming
  • D.1.m [Programming Techniques]: Miscellaneous - constraint logic programming
  • D.3.2 [Programming Languages]: Language classifications - nonprocedural languages

Cite this

Garcia De La Banda, M., Hermenegildo, M., Bruynooghe, M., Dumortier, V., Janssens, G., & Simoens, W. (1996). Global Analysis of Constraint Logic Programs. ACM Transactions on Programming Languages and Systems, 18(5), 564-614.