Issue No. 07 - July (1990 vol. 16)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.56098
<p>A model of data flow analysis and fixed point iteration solution procedures is presented. The faulty incremental iterative algorithm is introduced. Examples of the imprecision of restarting iteration from the intraprocedural and interprocedural domains are given. Some incremental techniques which calculate precise data flow information are summarized.</p>
intraprocedural domains; critical analysis; incremental iterative data flow analysis algorithms; model; fixed point iteration solution; interprocedural domains; parallel algorithms; parallel programming.
B. Ryder and M. Burke, "A Critical Analysis of Incremental Iterative Data Flow Analysis Algorithms," in IEEE Transactions on Software Engineering, vol. 16, no. , pp. 723-728, 1990.