The Community for Technology Leaders
Proceedings of the 22nd International Conference on Parallel Architectures and Compilation Techniques (1998)
Paris, France
Oct. 12, 1998 to Oct. 18, 1998
ISSN: 1089-795X
ISBN: 0-8186-8591-3
pp: 332
Albert Cohen , University of Versailles
Jean-François Collard , University of Versailles
ABSTRACT
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.
INDEX TERMS
Reaching Definition Analysis, Recursive Programs, Context-free Languages, Push-down Transducers.
CITATION
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
187 ms
(Ver 3.3 (11022016))