Reasoning about Termination of Pure Prolog Programs. Information and Computation, vol.106, pp.109-157, 1993. ,
The s-Semantics Approach: Theory and Applications, Journal of Logic Programming, vol.19, pp.149-197, 1994. ,
Termination Analysis of Integer Linear Loops, Proc. of the 16th International Conference on Concurrency Theory (CONCUR'05), vol.3653, pp.488-502, 2005. ,
Abstraction Refinement for Termination, Static Analysis Symposium (SAS'05), vol.3672, pp.87-101, 2005. ,
Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints, Proc. of the 4th ACM Symposium on Principles of Programming Languages (POPL), pp.238-252, 1977. ,
Abstract Interpretation and Applications to Logic Programs, Journal of Logic Programming, vol.13, issue.2 & 3, pp.103-179, 1992. ,
Termination of Logic Programs: The NeverEnding Story, Journal of Logic Programming, vol.19, pp.199-260, 1994. ,
Inferring Termination Conditions for Logic Programs using Backwards Analysis. Theory and Practice of Logic Programming (TPLP), vol.5, pp.75-91, 2005. ,
Global Flow Analysis as a Practical Compilation Tool, Journal of Logic Programming, vol.13, issue.2 & 3, pp.349-366, 1992. ,
Size Change Analysis of a Small C-like Language, 2004. ,
The Size-Change Principle for Program Termination, Proc. of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, vol.36, pp.81-92, 2001. ,
Automatic Termination Analysis of Logic Programs, Proc. of the 14th International Conference on Logic Programming (ICLP), pp.63-77, 1997. ,
Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs, Proc. of the 8th Static Analysis Symposium (SAS), vol.2126, pp.93-110, 2001. ,
A complete method for the synthesis of linear ranking functions, Verification, Model Checking, and Abstract Interpretation, 5th International Conference (VMCAI'04), vol.2937, pp.239-251, 2004. ,
Transition Predicate Abstraction and Fair Termination, Proc. of the 32nd ACM Symposium on Principles of Programming Languages (POPL'05), pp.132-144, 2005. ,
Detecting Non-Cyclicity by Abstract Compilation into Boolean Functions, Proc. of the 6th international conference on Verification, Model Checking and Abstract Interpretation (VMCAI'06), 2006. ,
Pair-Sharing Analysis of Object-Oriented Programs, Static Analysis Symposium (SAS'05), vol.3672, pp.320-335, 2005. ,
Inference of Termination Conditions for Numerical Loops. Theory and Pratice of Logic Programming, vol.4, pp.719-751, 2004. ,
Path-Length Analysis for Object-Oriented Programs, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-01915777
Shape Analysis and Applications, The Compiler Design Handbook, pp.175-218, 2002. ,
The Formal Semantics of Programming Languages, 1993. ,