[hofa] Wikipedia page needed for higher-order CFA
steck at stecksoft.com
Fri Feb 12 15:18:48 PST 2010
On Sat, Feb 13, 2010 at 1:01 AM, Jan Midtgaard <jmi at brics.dk> wrote:
> Matt Might <might at cs.utah.edu> writes:
>> We need to put one together.
>> This is all there is now:
> Hear hear!
> There already are a few reasonable entries in the general area, to
> which we could refer:
> As a first step we should change the redirection of the CFA-page into
> a separate page. Unfortunately I don't know how to do that.
> Then we need an initial stub to fill in. Here's a quick attempt:
> Control flow analysis is a [[static analysis]] technique for
> determining the receiver(s) of function or method calls in computer
> programs written in a [[higher-order programming language]].
> The term /control flow analysis/ was introduced independently by Neil
> D. Jones (ICALP:1981) and Olin Shivers (PLDI:1988).
I'd be happy to contribute to such a page in what way I can. Maybe someone
wants to propose an outline?
More information about the HOFA