Home Online Resources Table of Contents

Journal of Logic and Computation, Volume 8, Issue 4: August 1998.

Abductive analysis of modular logic programs

R Giacobazzi

Dipartimento di Informatica, Universitá di Pisa, Corso Italia 40, 56125 Pisa, Italy. E-mail: giaco@di.unipi.it

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. To the best of our knowledge this is the first application of abductive reasoning in dataflow analysis of logic programs.

Key words: Static analysis, abstract interpretation logic programming, modular logic programs, abduction, program specification.

Pages 457-483


This page is run by Oxford University Press, Great Clarendon Street, Oxford OX2 6DP, UK
as part of the OUP Journals World Wide Web service.
Comments and feedback: www-admin@oup.co.uk
URL: http://www.oup.co.uk/logcom/hdb/Volume_08/Issue_04/080457.sgm.abs.html
Last modification: 11 September 1998.
Copyright© Oxford University Press, 1998.