C. Ancourt and F. Irigoin, Scanning polyhedra with DO loop, Symp. on Principles and Practice of Parallel Programming (PPoPP'91), pp.39-50, 1991.

D. Barthou, J. Collard, and P. Feautrier, Fuzzy Array Dataflow Analysis, Journal of Parallel and Distributed Computing, vol.40, issue.2, pp.210-226, 1997.
DOI : 10.1006/jpdc.1996.1261
URL : https://hal.archives-ouvertes.fr/hal-00551673

J. Collard, D. Barthou, and P. Feautrier, Fuzzy array dataflow analysis, Symp. on Principles and Practice of Parallel Programming, pp.92-102, 1995.
DOI : 10.1145/209936.209947
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.6305

B. Creusillet, Array Region Analyses and Applications, 1996.
DOI : 10.1007/bf03356758
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.217.3352

R. Cytron, J. Ferrante, B. K. Rosen, M. K. Wegman, and F. K. Zadeck, An efficient method of computing static single assignment form, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '89, pp.25-35, 1989.
DOI : 10.1145/75277.75280

R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck, Efficiently computing static single assignment form and the control dependence graph, ACM Transactions on Programming Languages and Systems, vol.13, issue.4, pp.451-490, 1991.
DOI : 10.1145/115372.115320

P. Feautrier, Dataflow analysis of array and scalar references, International Journal of Parallel Programming, vol.24, issue.4, pp.23-53, 1991.
DOI : 10.1007/BF01407931

M. Griebl and J. Collard, Generation of synchronous code for automatic parallelization of while loops, EuroPar'95, pp.315-326, 1995.
DOI : 10.1007/BFb0020474

W. Kelly, W. Pugh, and E. Rosser, Code generation for multiple mappings, Proceedings Frontiers '95. The Fifth Symposium on the Frontiers of Massively Parallel Computation, 1995.
DOI : 10.1109/FMPC.1995.380437

W. Kelly, W. Pugh, E. Rosser, and T. Shpeisman, Transitive Closure of Infinite Graphs and Its Applications, International Journal of Parallel Programming, vol.36, issue.12, pp.579-598, 1996.
DOI : 10.1007/BF03356760

D. Levine, D. Callahan, and J. Dongarra, A comparative study of automatic vectorizing compilers, Parallel Computing, vol.17, issue.10-11, pp.1223-1244, 1993.
DOI : 10.1016/S0167-8191(05)80035-3

D. E. Maydan, S. P. Amarasinghe, and M. S. Lam, Array dataflow analysis and its use in array privatization, 20th POPL, pp.2-15, 1993.

W. Pugh, The Omega test: a fast and practical integer programming algorithm for dependence analysis, Proceedings of the 1991 ACM/IEEE conference on Supercomputing , Supercomputing '91, pp.102-114, 1992.
DOI : 10.1145/125826.125848

P. Tu and D. Padua, Automatic array privatization, Proc. Sixth Workshop on Languages and Compilers for Parallel Computing, number 768 in Lecture Notes in Computer Science, pp.500-521, 1993.
DOI : 10.1007/3-540-45403-9_8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.5746

D. Wonnacott and W. Pugh, Nonlinear array dependence analysis, Proc. Third Workshop on Languages, Compilers and Run-Time Systems for Scalable Computers, 1995.

D. G. Wonnacott, Constraint-Based Array Dependence Analysis, 1995.