scientific article; zbMATH DE number 868104

MaRDI QIDQ4873987zbMATH OpenFDO

Authors Krzysztof R. Apt

Publication date 21 April 1996

zbMATH Keywords

verification of Prolog programs

Mathematics Subject Classification ID

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

Recommendations

• Verification of logic programs
• Automated verification of Prolog programs
• scientific article; zbMATH DE number 3956408
• Reasoning about termination of pure Prolog programs

Cited in

(20)

• The occur-check problem in Prolog
• Verifying termination and error-freedom of logic programs with block declarations
• Proof checking and logic programming
• Modules and specifications
• A verified prolog compiler for the Warren Abstract Machine
• Program semantics and verification technique for AI-centred programs
• scientific article; zbMATH DE number 773980 (Why is no real title available?)
• VeriFly: On-the-fly Assertion Checking via Incrementality
• Program Verification with Separation Logic
• Abductive logic programming as an effective technology for the static verification of declarative business processes
• Logic Programming
• Logic + control: on program construction and verification
• scientific article; zbMATH DE number 4088902 (Why is no real title available?)
• scientific article; zbMATH DE number 4157865 (Why is no real title available?)
• The WAM case study: Verifying compiler correctness for Prolog with KIV
• scientific article; zbMATH DE number 1540615 (Why is no real title available?)
• Reasoning about prolog programs: From modes through types to assertions
• Verification of logic programs with delay declarations
• scientific article; zbMATH DE number 4047053 (Why is no real title available?)
• scientific article; zbMATH DE number 3956408 (Why is no real title available?)

This page was built for publication:

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