Exploiting goal independence in the analysis of logic programs

DOI10.1016/S0743-1066(96)00143-4zbMath0883.68027OpenAlexW1985611600MaRDI QIDQ4365084

Manuel V. Hermenegildo, Michael Codish, Maria Garcia de la Banda, Maurice Bruynooghe

Publication date: 16 March 1998

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0743-1066(96)00143-4

zbMATH Keywords

logic programsgoal independent analysis

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

Pair-independence and freeness analysis through linear refinement. ⋮ Analysis and Transformation of Constrained Horn Clauses for Program Verification

This page was built for publication: Exploiting goal independence in the analysis of logic programs