scientific article; zbMATH DE number 868104
From MaRDI portal
Publication:4873987
Recommendations
Cited in
(25)- The occur-check problem in Prolog
- Reasoning about prolog programs: From modes through types to assertions
- A new technique for verifying and correcting logic programs
- Proof checking and logic programming
- The WAM case study: Verifying compiler correctness for Prolog with KIV
- Abductive logic programming as an effective technology for the static verification of declarative business processes
- scientific article; zbMATH DE number 4157865 (Why is no real title available?)
- scientific article; zbMATH DE number 3956408 (Why is no real title available?)
- scientific article; zbMATH DE number 4047053 (Why is no real title available?)
- scientific article; zbMATH DE number 4088902 (Why is no real title available?)
- A verified prolog compiler for the Warren Abstract Machine
- Verifying termination and error-freedom of logic programs with block declarations
- scientific article; zbMATH DE number 1540615 (Why is no real title available?)
- Logic + control: on program construction and verification
- Automated verification of Prolog programs
- Verification of logic programs
- scientific article; zbMATH DE number 773980 (Why is no real title available?)
- Towards Verifying Logic Programs in the Input Language of clingo
- Verification of logic programs with delay declarations
- Logic Programming
- Modules and specifications
- Program Verification with Separation Logic
- VeriFly: On-the-fly Assertion Checking via Incrementality
- Program semantics and verification technique for AI-centred programs
- Design verification of digital systems based on logic programming
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)
