Weakest preconditions for pure Prolog programs
References (13)
Proof methods of declarative properties of definite programs
Theoret. Comput. Sci.
(1993)- et al.
Inductive assertion method for logic programs
Theoret. Comput. Sci.
(1988) Ten years of Hoare's logic: a survey—Part I
ACM Trans. Program. Languages Systems
(1981)From Logic Programming to Prolog
(1996)- et al.
Verifying correctness of logic programs
- et al.
Proving correctness of logic programs using axiomatic semantics
There are more references available in the full text version of this article.
Cited by (5)
A weakest precondition calculus for BUnity
2013, Science of Computer ProgrammingVerification of logic programs
1999, Journal of Logic ProgrammingBackward Pair Sharing Analysis
2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)Analysing logic programs by reasoning backwards
2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)Backward type inference generalises type checking
2002, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Copyright © 1998 Published by Elsevier B.V.