Z. Ammarguellat, A control-flow normalization algorithm and its complexity, IEEE Transactions on Software Engineering, vol.18, issue.3, pp.237-251, 1992.
DOI : 10.1109/32.126773

C. Ancourt, F. Coelho, and F. Irigoin, A Modular Static Analysis Approach to Affine Loop Invariants Detection, Electronic Notes in Theoretical Computer Science, vol.267, issue.1, pp.3-16, 2010.
DOI : 10.1016/j.entcs.2010.09.002
URL : https://hal.archives-ouvertes.fr/hal-00586338

C. Ancourt, F. Coelho, and F. Irigoin, A Modular Static Analysis Approach to Affine Loop Invariants Detection (extended version), 2010.

W. Bielecki, K. Kraska, and T. Klimek, Transitive Closure of a Union of Dependence Relations for Parameterized Perfectly-Nested Loops, Parallel Computing Technologies, pp.37-50, 2013.
DOI : 10.1007/978-3-642-39958-9_4

F. Bourdoncle, Sémantiques des langages d'ordre supérieur et interprétation abstraite, 1992.

T. Bultan, R. Gerber, and W. Pugh, Symbolic model checking of infinite state systems using presburger arithmetic, Computer Aided Verification, pp.400-411, 1997.
DOI : 10.1007/3-540-63166-6_39

I. Dillig, T. Dillig, B. Li, and K. Mcmillan, Inductive invariant generation via abductive inference, pp.443-456, 2013.

P. Feautrier and L. Gonnord, Accelerated Invariant Generation for C Programs with Aspic and C2fsm, Electronic Notes in Theoretical Computer Science, vol.267, issue.2, pp.3-13, 2010.
DOI : 10.1016/j.entcs.2010.09.014
URL : https://hal.archives-ouvertes.fr/inria-00523320

L. Gonnord and N. Halbwachs, Combining Widening and Acceleration in Linear Relation Analysis, Static Analysis, pp.144-160, 2006.
DOI : 10.1007/11823230_10
URL : https://hal.archives-ouvertes.fr/hal-00189614

B. S. Gulavani, T. A. Henzinger, Y. Kannan, A. V. Nori, and S. K. Rajamani, SYNERGY, Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering , SIGSOFT '06/FSE-14, pp.117-127, 2006.
DOI : 10.1145/1181775.1181790

S. Gulwani and F. Zuleger, The reachability-bound problem, pp.292-304, 2010.

N. Halbwachs and J. Henry, When the Decreasing Sequence Fails, pp.198-213, 2012.
DOI : 10.1007/978-3-642-33125-1_15
URL : https://hal.archives-ouvertes.fr/hal-00734340

J. Henry, D. Monniaux, and M. Moy, PAGAI: A Path Sensitive Static Analyser, Electronic Notes in Theoretical Computer Science, vol.289, pp.15-25, 2012.
DOI : 10.1016/j.entcs.2012.11.003

F. Irigoin, Interprocedural analyses for programming environments, Environments and Tools for Parallel Scientific Computing, pp.333-350, 1993.

F. Irigoin, P. Jouvelot, and R. Triolet, Semantical interprocedural parallelization: an overview of the PIPS project, ICS '91, pp.244-251, 1991.
URL : https://hal.archives-ouvertes.fr/hal-00984684

D. Khaldi, Automatic Resource-Constrained Static Task Parallelization, 2013.
URL : https://hal.archives-ouvertes.fr/pastel-00935483

V. Maisonneuve, Convex Invariant Refinement by Control Node Splitting: a Heuristic Approach, Electronic Notes in Theoretical Computer Science, vol.288, pp.49-59, 2011.
DOI : 10.1016/j.entcs.2012.10.007
URL : https://hal.archives-ouvertes.fr/hal-00833344

V. Maisonneuve, O. Hermant, and F. Irigoin, ALICe: A framework to improve affine loop invariant computation, 5th Workshop on INvariant Generation, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01086957

V. Maisonneuve, O. Hermant, and F. Irigoin, Alice: A framework to improve affine loop invariant computation, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01086957

D. Massé, Policy Iteration-Based Conditional Termination and Ranking Functions, pp.453-471, 2014.
DOI : 10.1007/978-3-642-54013-4_25

T. V. Nguyen and F. Irigoin, Efficient and effective array bound checking, ACM Transactions on Programming Languages and Systems, vol.27, issue.3, pp.527-570, 2005.
DOI : 10.1145/1065887.1065893

C. Popeea and W. Chin, Inferring Disjunctive Postconditions, pp.331-345, 2007.
DOI : 10.1007/11823230_2

W. Pugh, The Omega library

S. Verdoolaege, isl: An Integer Set Library for the Polyhedral Model, 2010.
DOI : 10.1007/978-3-642-15582-6_49

S. Verdoolaege, A. Cohen, and A. Beletska, Transitive Closures of Affine Integer Tuple Relations and Their Overapproximations, pp.216-232, 2011.
DOI : 10.1007/978-3-642-02658-4_44
URL : https://hal.archives-ouvertes.fr/hal-00645221

D. Wonnacott, Extending Scalar Optimizations for Arrays, Languages and Compilers for Parallel Computing, pp.97-111, 2001.
DOI : 10.1007/3-540-45574-4_7