[PL-sem-jr] Topic for 2 weeks from now

Stephen Chang stchang at ccs.neu.edu
Fri Jan 29 15:03:10 EST 2016


re: inlining
See also "Secrets of the GHC's Inliner"
research.microsoft.com/en-us/um/.../inline-jfp.ps.gz

re:static analysis
See Midgaardt's survey, "Control-flow Analysis of Functional Programs"
http://janmidtgaard.dk/Midtgaard%3aCSur12.html

On Fri, Jan 29, 2016 at 2:58 PM, Sam Caldwell <samc at ccs.neu.edu> wrote:
> OK, so inlining?
>
> On Thu, Jan 28, 2016 at 8:36 AM, Jonathan Schuster <schuster at ccs.neu.edu>
> wrote:
>>
>> On Wed, Jan 27, 2016 at 10:44 PM, Sam Caldwell <samc at ccs.neu.edu> wrote:
>>>
>>> I like all of these suggestions. Does anyone know any more "foundational"
>>> papers on static analysis we might look at?
>>>
>>
>> Nielson, Nielson, and Hankin's "Principles of Program Analysis" book might
>> have pointers to some foundational things - there's probably a copy floating
>> around the lab. The field is so wide, though, that I don't think you'll find
>> a paper that is *the* foundation for static analysis. Cousot and Cousot's
>> 1977 abstract interpretation paper (from the 10PL list) is probably the
>> closest, but that's just for one particular approach.
>
>
>
> _______________________________________________
> Pl-sem-jr mailing list
> Pl-sem-jr at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr
>



More information about the Pl-sem-jr mailing list