Title: Global analysis of constraint logic programs
Authors: Garcia de la Banda, Maria ×
Hermenegildo, Manuel
Bruynooghe, Maurice
Dumortier, Veroniek
Janssens, Gerda
Simoens, Wim #
Issue Date: Sep-1996
Publisher: Association for Computing Machinery
Series Title: ACM transactions on programming languages and systems vol:18 issue:5 pages:564-614
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(R) and Prolog-III applications. Results from this implementation showing its performance and accuracy are also presented.
ISSN: 0164-0925
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
1722.pdf Published 519KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science