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.>
No takes yet. Share an insight, caveat, or question.
Burke et al. (1990) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: