From logic programming to Prolog
From logic programming to Prolog
Termination analysis: some practical properties of the norm and level mapping space
JICSLP'98 Proceedings of the 1998 joint international conference and symposium on Logic programming
Constraint-based termination analysis of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
On Termination of Constraint Logic Programs
CP '95 Proceedings of the First International Conference on Principles and Practice of Constraint Programming
Preserving Universal Termination through Unfold/Fold
ALP '94 Proceedings of the 4th International Conference on Algebraic and Logic Programming
Inference of Termination Conditions for Numerical Loops in Prolog
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
On Termination of Logic Programs with Floating Point Computations
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
Inference of Termination Conditions for Numerical Loops in Prolog
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Hi-index | 0.00 |