Modules and specifications

DOI10.1007/3-540-61630-6_20zbMATH Open1427.68042OpenAlexW1508856083MaRDI QIDQ5236441FDOQ5236441

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

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

zbMATH Keywords

partial correctnesslogic programmingproof treefree variablepredicate symbol

Mathematics Subject Classification ID

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

Cites Work

• Proof methods of declarative properties of definite programs
• A logical analysis of modules in logic programming
• Title not available (Why is that?)
• Title not available (Why is that?)
• Reasoning about prolog programs: From modes through types to assertions
• Title not available (Why is that?)

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Modular answer set programming as a formal specification language

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)