A Semantic Basis for Termination Analysis of Logic Programs and Its Realization Using Symbolic Norm Constraints

Constraint-based termination analysis of logic programs

ACM Transactions on Programming Languages and Systems (TOPLAS)

The size-change principle for program termination

POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Program Termination Analysis in Polynomial Time

GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering

Inferring and Compiling Termination for Constraint Logic Programs

LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation

A Few Graph-Based Relational Numerical Abstract Domains

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

Program Termination Analysis by Size-Change Graphs (Abstract)

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning

Finite-tree analysis for constraint logic-based languages

Information and Computation

Program termination analysis in polynomial time

ACM Transactions on Programming Languages and Systems (TOPLAS)

Size-change termination with difference constraints

ACM Transactions on Programming Languages and Systems (TOPLAS)

Size-Change Termination, Monotonicity Constraints and Ranking Functions

CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification

Termination analysis with compositional transition invariants

CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification