Revision as of 15:39, 22 February 2013 edit Ruud Koot (talk \| contribs) 31,416 edits c/e ← Previous edit		Revision as of 15:41, 22 February 2013 edit undo Ruud Koot (talk \| contribs) 31,416 edits ref Next edit →
Line 26: it is unclear to which procedure <code>f</code> may refer. To determine the possible targets, a control-flow analysis must consider where this expression could be invoked, and what argument it may receive. Techniques such as [[abstract interpretation]], [[constraint solving]] and [[type system]]s may be used to compute control-flow analysis.<ref>Flemming Nielson, Hanne Riis Nielson & Chris Hankin (1999). ''Principles of Program Analysis''. Springer.</ref> == See also ==

Control-flow analysis: Difference between revisions