Vi introducerar en praktisk metod för abduktiv analys av modulära logiska program. Detta erhålls genom att vända avräkningsprocessen, som vanligtvis tillämpas i statiska data ow analys av logiska program. Metoden är validerad inom ramen för den abstrakta tolkningen. Den abducerade informationen ger en abstrakt specification för programmoduler som kan vara till hjälp både i top-down-utveckling av program och i kompilering-tidsoptimering. Såvitt vi vet är detta den första tillämpningen av bortförande resonemang i data ow analys av logiska program.
Giacobazzi har tidigare använt abductive inference i analysen av logiska program REF.
Abductive Analysis of Modular Logic Programs
{'venue': 'Journal of Logic and Computation', 'journal': None, 'mag_field_of_study': ['Computer Science']}