Proceedings of the 22nd International Conference on Parallel Architectures and Compilation Techniques (1998)
Oct. 12, 1998 to Oct. 18, 1998
Albert Cohen , University of Versailles
Jean-François Collard , University of Versailles
Automatic parallelization of recursive programs is still an open problem today, lacking suitable and precise static analyses. We present a novel reaching definition framework based on context-free transductions. The technique achieves a global and precise description of the data flow and discovers important semantic properties of programs. Taking the example of a real-world non-derecursivable program, we show the need for a reaching definition analysis able to handle run-time instances of statements separately. A running example sketches our parallelization scheme, and presents our reaching definition analysis. Future fruitful research, at the crossroad of program analysis and formal language theory, is also hinted to.
Reaching Definition Analysis, Recursive Programs, Context-free Languages, Push-down Transducers.
Albert Cohen, Jean-François Collard, "Instance-Wise Reaching Definition Analysis for Recursive Programs using Context-Free Transductions", Proceedings of the 22nd International Conference on Parallel Architectures and Compilation Techniques, vol. 00, no. , pp. 332, 1998, doi:10.1109/PACT.1998.727269