DocumentCode
1360952
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
Volume
16
Issue
7
fYear
1990
fDate
7/1/1990 12:00:00 AM
Firstpage
723
Lastpage
728
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;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/32.56098
Filename
56098
Link To Document