Control-flow analysis: Difference between revisions

Revision as of 17:59, 1 June 2015

Revision as of 18:18, 1 June 2015

Line 8:

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 computefor control-flow analysis{{which|date=July 2014}}.<ref>Flemming Nielson, Hanne Riis Nielson & Chris Hankin (1999). ''Principles of Program Analysis''. Springer.</ref>{{page needed|date=July 2014}}

== See also ==