Analysis of downward closed properties of logic programs

DOI10.1007/3-540-45499-3_14MaRDI QIDQ2767173zbMATH OpenFDO

Authors Patricia M. Hill, Fausto Spoto

Publication date 28 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45499-3_14

zbMATH Keywords

abstract interpretationdomain theorylinear refinementlogic programmingtype analysistype theory

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Logical optimality of groundness analysis
• Analyzing logic programs using “prop”-ositional logic programs and a magic wand
• Abstract interpretation and application to logic programs
• Bottom-up dataflow analysis of normal logic programs
• Optimal groundness analysis using propositional logic

Cited in

(3)

• Logical optimality of groundness analysis
• Analyzing logic programs using “prop”-ositional logic programs and a magic wand
• scientific article; zbMATH DE number 4147550 (Why is no real title available?)

This page was built for publication: Analysis of downward closed properties of logic programs

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