Title :
A critical analysis of incremental iterative data flow analysis algorithms
Author :
Burke, Michael G. ; Ryder, Barbara Gershon
Author_Institution :
IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
fDate :
7/1/1990 12:00:00 AM
Abstract :
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
Keywords :
parallel algorithms; parallel programming; critical analysis; fixed point iteration solution; incremental iterative data flow analysis algorithms; interprocedural domains; intraprocedural domains; model; Algorithm design and analysis; Data analysis; Flow graphs; Information analysis; Iterative algorithms; Optimizing compilers; Performance analysis; Program processors; Software algorithms; Software systems;
Journal_Title :
Software Engineering, IEEE Transactions on
