Abductive analysis of modular logic programs

DOI10.1093/LOGCOM/8.4.457MaRDI QIDQ4209293zbMATH OpenOpenAlexFDO

Authors Roberto Giacobazzi

Publication date 11 January 1999

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/8b41f2d85262928e417bb24a8302439f42436681

zbMATH Keywords

abductive analysis of modular logic programsabductive reasoningdataflow analysis of logic programs

Mathematics Subject Classification ID

Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Abductive Logic Programming
• Abduction in logic programming: A new definition and an abductive procedure based on rewriting
• A backward analysis for constraint logic programs
• Program Development in Computational Logic
• Abduction from logic programs: Semantics and complexity

Cited in

(4)

• An abstraction-refinement framework for trigger querying
• Inspecting side-effects of abduction in logic programs
• A backward analysis for constraint logic programs
• Verifying pointer safety for programs with unknown calls

This page was built for publication: Abductive analysis of modular logic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4209293)