Revision as of 15:30, 22 February 2013 edit Ruud Koot (talk \| contribs) 31,416 edits copyedit ← Previous edit		Revision as of 15:33, 22 February 2013 edit undo Ruud Koot (talk \| contribs) 31,416 edits Cartesian product algorithm Next edit →
Line 27: Techniques such as [[abstract interpretation]], [[constraint solving]] and [[type system]]s may be used to compute control-flow analysis. == See also == * [[Cartesian product algorithm]] ==References==

Control-flow analysis: Difference between revisions