Applicability of Algebraic Transductions to Data-Flow Analysis

Parallelization of recursive programs is still an open problem today, lacking suitable and precise static analyses. This article presents a novel data ow analysis framework based on push-down (a.k.a. algebraic) transducers. This technique achieves a global and precise description of the data ow and discovers important semantic properties of the programs. Future fruitful research, at the crossroad of program analysis and formal language theory, is also hinted to.

[1]  Monica S. Lam,et al.  Array-data flow analysis and its use in array privatization , 1993, POPL '93.

[2]  David J. Weir,et al.  LINEAR ITERATED PUSHDOWNS , 1994, Comput. Intell..

[3]  Utpal Banerjee,et al.  Dependence analysis for supercomputing , 1988, The Kluwer international series in engineering and computer science.

[4]  Barbara G. Ryder,et al.  Interprocedural Side Effect Analysis With Pointer Aliasing , 1993, PLDI.

[5]  Collard,et al.  Fuzzy Array Dataaow Analysis , 1995 .

[6]  Rohit Parikh,et al.  On Context-Free Languages , 1966, JACM.

[7]  William Pugh,et al.  A practical algorithm for exact array dependence analysis , 1992, CACM.

[8]  Laurie J. Hendren,et al.  Context-sensitive interprocedural points-to analysis in the presence of function pointers , 1994, PLDI '94.

[9]  Martin Alt,et al.  Generation of Efficient Interprocedural Analyzers with PAG , 1995, SAS.

[10]  Alfred V. Aho,et al.  Indexed Grammars—An Extension of Context-Free Grammars , 1967, SWAT.

[11]  Bjarne Steensgaard,et al.  Points-to analysis in almost linear time , 1996, POPL '96.

[12]  P. Feautrier.  Array expansion , 1988 .

[13]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[14]  Alain Deutsch,et al.  Interprocedural may-alias analysis for pointers: beyond k-limiting , 1994, PLDI '94.

[15]  Paul Feautrier,et al.  Fuzzy array dataflow analysis , 1995, PPOPP '95.

[16]  William Pugh,et al.  Eliminating false data dependences using the Omega test , 1992, PLDI '92.

[17]  John E. Hopcroft,et al.  Scattered Context Grammars , 1969, J. Comput. Syst. Sci..

[18]  Alfred V. Aho,et al.  Nested Stack Automata , 1969, Journal of the ACM.

[19]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[20]  P. Feautrier.  Parametric integer programming , 1988 .

[21]  Gheorghe Paun,et al.  Regulated Rewriting in Formal Language Theory , 1989 .

[22]  Jean Berstel,et al.  Transductions and context-free languages , 1979, Teubner Studienbücher : Informatik.

[23]  Neil D. Jones,et al.  Program flow analysis - theory and applications , 1981, Prentice Hall software series.