A. V. Aho, R. Sethi, and J. D. Ullman, Compilers: Principles, Techniques and Tools, 1986.

J. Collard, Space-time transformation of while-loops using speculative execution, Proc. of the 1994 Scalable High Performance Computing Conf., pages 429{436, 1994.

J. Collard, Automatic parallelization of while-loops using speculative execution, Int. J. of Parallel Programming, vol.23, issue.2, pp.191-219, 1995.

J. Collard, P. , and T. Risset, Construction of DO loops from systems of ane constraints, Parallel Processing Letters, vol.5, issue.3, 1995.

A. Darte and F. Vivien, Automatic parallelization based on multi-dimensional scheduling, 1994.
URL : https://hal.archives-ouvertes.fr/hal-00857084

P. Eautrier, Array expansion, ACM Int. Conf. on Supercomputing, pp.429-441, 1988.

P. Eautrier, Dataaow analysis of scalar and array references, Int. Journal of Parallel Programming, vol.20, issue.1, pp.23-53, 1991.

P. Eautrier, Some eecient solutions to the ane scheduling problem, part I, one dimensional time, Int. J. of Parallel Programming, vol.21, issue.5, pp.313-348, 1992.

P. Eautrier, Some ecient solution to the aane scheduling problem, part II, multidimensional time, Int. J. of Parallel Programming, vol.21, issue.6, pp.389-420, 1992.

P. Eautrier, J. Collard, ;. Lip, and E. Lyon, Fuzzy array dataaow analysis, 1994.

M. Griebl and J. Collard, Generation of synchronous code for automatic parallelization of while loops, Euro-Par95, 1995.

M. Griebl and C. Lengauer, On scanning space-time mapped while loops, Parallel Processing: CONPAR 94 { VAPP VI, vol.854, pp.677-688, 1994.

M. Griebl and C. Lengauer, On the space-time mapping of while-loops, Parallel Processing Letters

M. Griebl and C. Lengauer, On the parallelization of loop nests containing while loops, Proc. Aizu Int. Symp. on Parallel Algorithm/Architecture Synthesis (pAs'95), 1995.

W. Kelly and W. Pugh, Finding legal reordering transformations using mappings, 1994.

W. Kelly, W. Pugh, and E. Rosser, Code generation for multiple mappings, 1994.

M. S. Lam and R. P. Wilson, Limits of control ow on parallelism, Proceedings of the 19th Annual International Symposium on Computer Architecture, pp.46-57, 1992.

C. Lengauer, Loop parallelization in the polytope model, CONCUR '93, vol.715, pp.398-416, 1993.

B. Lisper, Detecting static algorithms by partial evaluation, Proc. ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based P r ogram Manipulation, pp.31-42, 1991.

M. Martel, Etude et impl ementation de m ethodes num eriques it eratives bas ees sur l'ex ecution sp eculative. Master's thesis, 1994.

V. Maslov, Lazy array data--ow dependence analysis, Proc. 21st Annual ACM SIGPLAN-SIGACT Symp. POPL, pp.311-325, 1994.

D. E. Maydan, S. P. Amarasinghe, and M. S. Lam, Array dataaow analysis and its use in array privatization, Proc. of ACM Conf. on Principles of Programming Languages, pp.2-15, 1993.

W. Pugh and D. Wonnacott, Eliminating false data dependences using the omega test, ACM SIGPLAN PLDI, pp.1-9

W. Pugh and D. Wonnacott, An exact method for analysis of value-based data dependences, 1993.

L. Rauchwerger and D. Padua, Speculative run-time parallelization of loops, 1994.

X. Redon and P. Eautrier, Scheduling reductions, Supercomputing '94, 1994.

J. Saltz, H. Berryman, and J. Wu, Multiprocessors and runtime compilation, Concurrency: Practice and Experience, vol.3, issue.6, pp.573-592, 1991.

M. J. Wolfe, Optimizing Supercompilers for Supercomputers, 1989.