𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Precise Goal-Independent Abstract Interpretation of Constraint Logic Programs

✍ Scribed by Peter Schachte

Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
183 KB
Volume
42
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Precise goal-independent abstract interp
Precise goal-independent abstract interpretation of constraint logic programs
✍ Peter Schachte πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 197 KB

We present a goal-independent abstract interpretation framework for constraint logic programs, and prove the su ciency of a set of conditions for abstract domains to ensure that the analysis will never lose precision. Along the way, we formally deΓΏne constraint logic programming systems, give a form

Exploiting goal independence in the anal
Exploiting goal independence in the analysis of logic programs
✍ Michael Codish; Maurice Bruynooghe; Maria GarcΓ­a De La Banda; Manuel Hermenegild πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 880 KB

This paper illustrates the use of a top-down framework to obtain goal independent analyses of logic programs, a task which is usually associated with the bottom-up approach. While it is well known that the bottom-up approach can be used, through the magic set transformation, for goal dependent analy