Abductive analysis of modular logic programs

DOI10.1093/logcom/8.4.457zbMath0904.68039OpenAlexW2014528910MaRDI QIDQ4209293

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 reasoningabductive analysis of modular logic programsdataflow analysis of logic programs

Mathematics Subject Classification ID

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

Related Items (2)

Verifying pointer safety for programs with unknown calls ⋮ An abstraction-refinement framework for trigger querying

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