C. Alias, A. Darte, P. Feautrier, and L. Gonnord, Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs, 17th International Static Analysis Symposium, SAS'10, 2010.
DOI : 10.1007/978-3-642-15769-1_8

URL : https://hal.archives-ouvertes.fr/inria-00523298

W. Amme and E. Zehendner, Data dependence analysis in programs with pointers, Parallel Computing, vol.24, issue.3-4, p.505525, 1998.
DOI : 10.1016/S0167-8191(98)00023-4

A. R. Bradley, Z. Manna, and H. B. Sipma, Linear Ranking with Reachability, 17th International Conference on Computer Aided Verication (CAV), p.491504, 2005.
DOI : 10.1007/11513988_48

A. Michael, H. B. Colón, and . Sipma, Practical methods for proving program termination, 14th International Conference on Computer Aided Verication (CAV), p.442454, 2002.

B. Cook, S. Gulwani, T. Lev-ami, A. Rybalchenko, and M. Sagiv, Proving Conditional Termination, Proceedings of the 20th international conference on Computer Aided Verication, CAV '08, p.328340, 2008.
DOI : 10.1007/978-3-540-70545-1_32

P. Cousot and N. Halbwachs, Automatic discovery of linear restraints among variables of a program, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '78, 1978.
DOI : 10.1145/512760.512770

P. Feautrier and L. Gonnord, Accelerated Invariant Generation for C Programs with Aspic and C2fsm, Workshop on Tools for Automatic Program AnalysiS, TAPAS'10, 2010.
DOI : 10.1016/j.entcs.2010.09.014

URL : https://hal.archives-ouvertes.fr/inria-00523320

R. W. Floyd, Assigning meaning to programs, In Symposium on Applied Mathematics, vol.19, 1967.

P. Habermehl, R. Iosif, A. Rogalewicz, and T. Vojnar, Proving Termination of Tree Manipulating Programs, Automated Technology for Verication and Analysis, p.145161, 2007.
DOI : 10.1007/978-3-540-75596-8_12

URL : https://hal.archives-ouvertes.fr/hal-01418916

A. Podelski and A. Rybalchenko, A Complete Method for the Synthesis of Linear Ranking Functions, Verication, Model Checking, and Abstract Interpretation (VM- CAI'03), p.239251, 2004.
DOI : 10.1007/978-3-540-24622-0_20

D. J. Quinlan, Rose: Compiler support for object-oriented frameworks, Parallel Proc. Letters, 2000.

F. Tip, A survey of program slicing techniques Inria RESEARCH CENTRE GRENOBLE ? RHÔNE-ALPES Inovallée 655 avenue de l'Europe Montbonnot 38334 Saint Ismier Cedex Publisher Inria Domaine de Voluceau -Rocquencourt BP 105 -78153 Le Chesnay Cedex inria, Journal of Programming Languages, 1995.