Proving Correctness and Completeness of Normal Programs - A Declarative Approach
Proceedings of the 17th International Conference on Logic Programming
How to Transform an Analyzer into a Verifier
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Using Constraints in Local Proofs for CLP Debugging
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Specialising Logic Programs with Respect to Call?Post Specifications
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs
SAS '98 Proceedings of the 5th International Symposium on Static Analysis
On logic programs that always succeed
Science of Computer Programming
Abstract interpretation based verification of logic programs
Science of Computer Programming
Proving correctness and completeness of normal programs – a declarative approach
Theory and Practice of Logic Programming
On the verification of finite failure
Journal of Computer and System Sciences
A three-valued semantics for logic programmers
Theory and Practice of Logic Programming
A backward analysis for constraint logic programs
Theory and Practice of Logic Programming
Using parametric set constraints for locating errors in CLP programs
Theory and Practice of Logic Programming
A pragmatic approach to pre-testing prolog programs
INAP'04/WLP'04 Proceedings of the 15th international conference on Applications of Declarative Programming and Knowledge Management, and 18th international conference on Workshop on Logic Programming
Hi-index | 0.00 |