Abductive analysis of modular logic programs
By: R. Giacobazzi
Dip. di Informatica
Univ. di Pisa
Italia 40, 56125 Pisa
Abstract: We introduce a practical method for abductive
analysis of modular logic programs. This is obtained by reversing the
deduction process, which is usually applied in static-dataflow
analysis of logic programs, on generic, possibly abstract, domains for
analysis. The approach is validated in the framework of abstract
interpretation. The abduced information provides an abstract
specification for program modules which can be of assistance both in
top-down development of programs and in compile-time optimization.
This paper is an extended version of
Abductive analysis of modular logic programs (MIT Press, 1994).