Constraint-based termination analysis of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
On proving left termination of constraint logic programs
ACM Transactions on Computational Logic (TOCL)
Modeling Meta-logical Features in a Calculus with Frozen Variables
PTCS '01 Proceedings of the International Seminar on Proof Theory in Computer Science
The witness properties and the semantics of the Prolog cut
Theory and Practice of Logic Programming
Classes of terminating logic programs
Theory and Practice of Logic Programming
Sequence-based abstract interpretation of Prolog
Theory and Practice of Logic Programming
Verifying Termination and Reduction Properties about Higher-Order Logic Programs
Journal of Automated Reasoning
Toward the Concept of Backtracking Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
A fixed point semantics for logic programs extended with cuts
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
Hi-index | 0.00 |