Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
Meta-circular Abstract Interpretation in Prolog
| |
|
Meta-circular Abstract Interpretation in Prolog
Michael Codish7 and Harald Søndergaard8
| (7) |
Dept. of Computer Science, Ben-Gurion Univ. of the Negev, Beer-Sheva, Israel |
| (8) |
Dept. of Computer Science and Software Eng., Univ. of Melbourne, Australia |
Abstract
We give an introduction to the meta-circular approach to the abstract interpretation of logic programs. This approach is particularly
useful for prototyping and for introductory classes on abstract interpretation. Using interpreters, students can immediately
write, adapt, and experiment with interpreters and working dataflow analysers. We use a simple meta-circular interpreter,
based on a “non-ground T
P” semantics, as a generic analysis engine. Instantiating the engine is a matter of providing an appropriate domain of approximations,
together with definitions of “abstract” unification and disjunction. Small changes of the interpreter let us vary both what
can be “observed” by an analyser, and how fixed point computation is done. Amongst the dataflow analyses used to exemplify
this approach are a parity analysis, groundness dependency analysis, call patterns, depth-k analysis, and a “pattern” analysis to establish most specific generalisations of calls and success sets.
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|