scientific article; zbMATH DE number 868104

zbMATH Open0844.68078MaRDI QIDQ4873987FDOQ4873987

Authors: Krzysztof R. Apt 

Publication date: 21 April 1996

Title of this publication is not available (Why is that?)

Recommendations

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

zbMATH Keywords

verification of Prolog programs

Mathematics Subject Classification ID

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

Cited In (20)

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

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)