A Novel Derivation Framework For Definite Logic Program

DOI10.1016/j.entcs.2008.04.054zbMath1286.68049OpenAlexW2064295786MaRDI QIDQ5415609

Huowang Chen, Mengjun Li, Zhou-Jun Li, Ti Zhou

Publication date: 13 May 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.04.054

zbMATH Keywords

termination predictiondefinite logic programabstract and refinement

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• Unnamed Item
• Combinations of abstract domains for logic programming: Open product and generic pattern construction
• Abstract interpretation and application to logic programs
• Sequence-based abstract interpretation of Prolog
• A dynamic approach to characterizing termination of general logic programs

This page was built for publication: A Novel Derivation Framework For Definite Logic Program