A method for specializing logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proving Correctness and Completeness of Normal Programs - A Declarative Approach
Proceedings of the 17th International Conference on Logic Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
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 translating geometric solids to functional expressions
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive 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
Using parametric set constraints for locating errors in CLP programs
Theory and Practice of Logic Programming
Hi-index | 0.00 |