Analysing Logic Programs by Reasoning Backwards (original) (raw)
Related papers
A Backward Analysis for Constraint Logic Programs
Theory and Practice of Logic Programming, 2002
Abstract Interpretation Based Verification of Logic Programs
Electronic Notes in Theoretical Computer Science, 2001
Verifying correctness of logic programs
Lecture Notes in Computer Science, 1989
Path Dependent Analysis of Logic Programs
Higher-Order and Symbolic Computation (formerly LISP and Symbolic Computation), 2003
Denotational abstract interpretation of logic programs
ACM Transactions on Programming Languages and Systems, 1994
Notes for a tutorial on abstract interpretation of logic programs
1989
Goal dependent vs. goal independent analysis of logic programs
Lecture Notes in Computer Science, 1994
Abstract Verification and Debugging of Constraint Logic Programs
Lecture Notes in Computer Science, 2003
A New Technique for Verifying and Correcting Logic Programs
1997
Abstract Interpretation Using Advanced Logic Programming Techniques
2003
The role of logical interpretations in program development
Logical Methods in Computer Science, 2014
An abstract interpretation scheme for identifying inherent parallelism in logic programs
New Generation Computing, 1990
Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs
1995
Tutorial notes: Reasoning about logic programs
Lecture Notes in Computer Science, 1992
Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations
Electronic Notes in Theoretical Computer Science, 2001
Differential methods in logic program analysis
The Journal of Logic Programming, 1998
International Journal on Software Tools for Technology Transfer, 2013
A general framework for automatic termination analysis of logic programs
Applicable Algebra in …, 2001
Constraint-based termination analysis of logic programs
Henk Vandecasteele, Stefaan Decorte, Danny De Schreye
ACM Transactions on Programming Languages and Systems, 1999
Logical Interpretation: Static Program Analysis Using Theorem Proving
Lecture Notes in Computer Science
Logic programs as specifications in the inductive verification of logic programs
Electronic Notes in Theoretical Computer Science, 2001
Compositional verification of sequential programs with procedures
Information and Computation, 2008
Incremental analysis of logic programs
1995
Exploiting goal independence in the analysis of logic programs
The Journal of Logic Programming, 1997
An approach to program verification
The proceedings of the thirteenth design automation conference on Design automation - DAC '76, NO. 13, 1976