Citation
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.
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