Pages that link to "Item:Q685395"
From MaRDI portal
The following pages link to Proof methods of declarative properties of definite programs (Q685395):
Displayed 8 items.
- Weakest preconditions for pure Prolog programs (Q293340) (← links)
- Proving completeness of logic programs with the cut (Q511027) (← links)
- An operational formal definition of PROLOG: A specification method and its application (Q1186100) (← links)
- Logic + control: On program construction and verification (Q4603427) (← links)
- A simple correctness proof for magic transformation (Q4897705) (← links)
- Assertion based Inductive Verification Methods for Logic Programs (Q4923368) (← links)
- Modules and specifications (Q5236441) (← links)
- On Correctness and Completeness of an <i>n</i> Queens Program (Q6063871) (← links)