Università di Pisa
Sistema bibliotecario di ateneo

Abductive analysis of modular logic programs

Giacobazzi, Roberto (1997) Abductive analysis of modular logic programs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

[img] Postscript (GZip) - Published Version
Available under License Creative Commons Attribution No Derivatives.

Download (181Kb)


    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.

    Item Type: Book
    Uncontrolled Keywords: abstract interpretation, program analysis, logic programming
    Subjects: Area01 - Scienze matematiche e informatiche > INF/01 - Informatica
    Divisions: Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA
    Depositing User: dott.ssa Sandra Faita
    Date Deposited: 23 Jan 2015 11:12
    Last Modified: 23 Jan 2015 11:12
    URI: http://eprints.adm.unipi.it/id/eprint/1976

    Repository staff only actions

    View Item