Modules and specifications

DOI10.1007/3-540-61630-6_20MaRDI QIDQ5236441zbMATH OpenOpenAlexFDO

Authors Vasco Pedro, Luís Monteiro

Publication date 8 October 2019

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61630-6_20

zbMATH Keywords

partial correctnesslogic programmingproof treefree variablepredicate symbol

Mathematics Subject Classification ID

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

Recommendations

• Verification of logic programs
• Logic programs as specifications in the inductive verification of logic programs
• scientific article; zbMATH DE number 140003
• Proof method of partial correctness and weak completeness for normal logic programs
• scientific article; zbMATH DE number 868104

Cites work

• scientific article; zbMATH DE number 826299 (Why is no real title available?)
• scientific article; zbMATH DE number 868104 (Why is no real title available?)
• scientific article; zbMATH DE number 870438 (Why is no real title available?)
• A logical analysis of modules in logic programming
• Proof methods of declarative properties of definite programs
• Reasoning about prolog programs: From modes through types to assertions

Cited in

(3)

• scientific article; zbMATH DE number 2028927 (Why is no real title available?)
• Modular answer set programming as a formal specification language
• scientific article; zbMATH DE number 1678385 (Why is no real title available?)

This page was built for publication: Modules and specifications

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