Control-flow analysis: Difference between revisions

Revision as of 23:59, 16 March 2013

Revision as of 14:01, 29 April 2013

Line 18:

| year = 1988

| doi = 10.1145/53990.54007

}}</ref> For both [[functional programming language|functional]]s and [[object-oriented programming language]]s, the term CFA, and elaborations such as ''k''-CFA, refer to specific algorithms that compute control flow.

For many [[imperative programming language]]s, the control flow of a program is explicit in a program's source code. As a result, control-flow analysis implicitly usually refers to a [[static analysis]] technique for determining the receiver(s) of function or method calls in computer programs written in a [[higher-order programming language]]. For example, in a programming language with [[higher-order functions]] like [[Scheme (programming language)|Scheme]], the target of a function call may not be explicit: in the isolated expression