/. Producer and =. , S2: if (condition) S3: r1_2 = ... r1_4 = phi(r1_1, r1_2) produce(stream_r1_4

]. R. Allen and K. Kennedy, Automatic translation of FORTRAN programs to vector form, S5: ... = r1_5 References, pp.491-542, 1987.
DOI : 10.1145/29873.29875

W. Baxter, H. R. Bauer, and I. , The program dependence graph and vectorization, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '89, pp.1-11, 1989.
DOI : 10.1145/75277.75278

C. Böhm and G. Jacopini, Flow diagrams, turing machines and languages with only two formation rules, Communications of the ACM, vol.9, issue.5, pp.366-371, 1966.
DOI : 10.1145/355592.365646

R. Cytron, Doacross: Beyond vectorization for multiprocessors, Intl. Conf. on Parallel Processing (ICPP), 1986.

J. Ferrante and M. Mace, On linearizing parallel code, Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '85, pp.179-190, 1985.
DOI : 10.1145/318593.318636

J. Ferrante, M. Mace, and B. Simons, Generating sequential code from parallel code, Proceedings of the 2nd international conference on Supercomputing , ICS '88, pp.582-592, 1988.
DOI : 10.1145/55364.55421

J. Ferrante, K. J. Ottenstein, and J. D. Warren, The program dependence graph and its use in optimization, ACM Transactions on Programming Languages and Systems, vol.9, issue.3, pp.319-349, 1987.
DOI : 10.1145/24039.24041

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous dataflow programming language lustre, Proceedings of the IEEE, pp.1305-1320, 1991.

K. Kennedy and J. R. Allen, Optimizing compilers for modern architectures: a dependence-based approach, 2002.

K. Kennedy and K. S. Mckinley, Loop distribution with arbitrary control flow, Proceedings SUPERCOMPUTING '90, pp.407-416, 1990.
DOI : 10.1109/SUPERC.1990.130048

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

K. Kennedy and K. S. Mckinley, Typed fusion with applications to parallel and sequential code generation, 1993.

D. J. Kuck, R. H. Kuhn, D. A. Padua, B. Leasure, and M. Wolfe, Dependence graphs and compiler optimizations, Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '81, pp.207-218, 1981.
DOI : 10.1145/567532.567555

G. Ottoni, R. Rangan, A. Stoler, and D. I. , Automatic thread extraction with decoupled software pipelining. Microarchitecture, IEEE/ACM International Symposium on, vol.0, pp.105-118, 2005.

A. Pop and A. Cohen, A stream-comptuting extension to OpenMP, Proc. of the 4th Intl. Conf. on High Performance and Embedded Architectures and Compilers (HiPEAC'11), 2011.
URL : https://hal.archives-ouvertes.fr/inria-00551507

A. Pop, S. Pop, and J. Sjödin, Automatic streamization in GCC, GCC Developer's Summit, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00817455

E. Raman, G. Ottoni, A. Raman, M. J. Bridges, and D. I. August, Parallel-stage decoupled software pipelining, Proceedings of the sixth annual IEEE/ACM international symposium on Code generation and optimization , CGO '08, pp.114-123, 2008.
DOI : 10.1145/1356058.1356074