[hofa] Wikipedia page needed for higher-order CFA

Matthew Might matt.might at gmail.com
Fri Feb 12 10:11:19 PST 2010


Perhaps we could claim

 Higher_order_control_flow_analysis or
 Control_flow_analysis_of_higher_order_programs ?




On Fri, Feb 12, 2010 at 7: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:
>>
>>  http://en.wikipedia.org/wiki/Control_flow_analysis
>
> Hear hear!
>
> There already are a few reasonable entries in the general area, to
> which we could refer:
>
>  http://en.wikipedia.org/wiki/Static_code_analysis
>  http://en.wikipedia.org/wiki/Data_flow_analysis
>  http://en.wikipedia.org/wiki/Pointer_analysis
>  http://en.wikipedia.org/wiki/Abstract_interpretation
>
>
> 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).
>
> It's rough, but it's a start.
>
>
> BTW, it seems the 'Static Analysis' page
>
>  http://en.wikipedia.org/wiki/Static_analysis
>
> is referring to something different. It should probably be made into a
> disambiguation page. Again I don't know how to do that.
>
>
>
> //Jan
> _______________________________________________
> HOFA mailing list
> HOFA at lambda-calcul.us
> http://lists.lambda-calcul.us/listinfo.cgi/hofa-lambda-calcul.us
>



More information about the HOFA mailing list