Abductive analysis of modular logic programs

DOI10.1093/LOGCOM/8.4.457zbMATH Open0904.68039OpenAlexW2014528910MaRDI QIDQ4209293FDOQ4209293

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

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

zbMATH Keywords

abductive reasoningabductive analysis of modular logic programsdataflow analysis of logic programs

Mathematics Subject Classification ID

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

Cited In (3)

• An abstraction-refinement framework for trigger querying
• Verifying pointer safety for programs with unknown calls
• A backward analysis for constraint logic programs

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)