Proving Termination of Logic Programs by Exploiting Term Properties

Combining Norms to Prove Termination

VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation

Reuse of Results in Termination Analysis of Typed Logic Programs

SAS '02 Proceedings of the 9th International Symposium on Static Analysis

Inference of termination conditions for numerical loops in Prolog

Theory and Practice of Logic Programming

Termination of Floating-Point Computations

Journal of Automated Reasoning

Termination analysis of logic programs through combination of type-based norms

ACM Transactions on Programming Languages and Systems (TOPLAS)

Quasi-terminating logic programs for ensuring the termination of partial evaluation

Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Improving offline narrowing-driven partial evaluation using size-change graphs

LOPSTR'06 Proceedings of the 16th international conference on Logic-based program synthesis and transformation

Polytool: proving termination automatically based on polynomial interpretations

LOPSTR'06 Proceedings of the 16th international conference on Logic-based program synthesis and transformation

An abstract interpretation approach to termination of logic programs

LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning

Polytool: Polynomial interpretations as a basis for termination analysis of logic programs

Theory and Practice of Logic Programming

Simulating concurrent behaviors with worst-case cost bounds

FM'11 Proceedings of the 17th international conference on Formal methods

Polynomial interpretations as a basis for termination analysis of logic programs

ICLP'05 Proceedings of the 21st international conference on Logic Programming

COSTABS: a cost and termination analyzer for ABS

PEPM '12 Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation