|
Structural Information Analysis for CLP Languages
Roberto Bagnara
Abstract:We present the rational construction of a generic domain for structural analysis of CLP languages: Pattern(D#), where the parameter D# is an abstract domain satisfying certain properties. Our domain builds on the parameterized domain for the analysis of Prolog programs Pat(R), which is due to Cortesi et al. [1, 2]. However, the formalization of our CLP abstract domain is independent from specific implementation techniques: Pat(R) (suitably extended) is one of the possible implementations. Reasoning at a higher level of abstraction we are able to appeal to familiar notions of unification theory. One advantage is that we can identify an important parameter (a common anti-instance function, missing in [1]) that gives some control over the precision and computational cost of the resulting generic structural domain.References
Available: PDF, 300 DPI, 600 DPI, and 1200 DPI PostScript, DVI, BibTeX entry. [Page last updated on June 09, 2000, 18:36:24.] |
|||||
bagnara@cs.unipr.it |
Home | Personal | Papers | Teaching | Links |