scientific article; zbMATH DE number 868104
From MaRDI portal
Publication:4873987
zbMATH Open0844.68078MaRDI QIDQ4873987FDOQ4873987
Authors: Krzysztof R. Apt
Publication date: 21 April 1996
Title of this publication is not available (Why is that?)
Recommendations
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)