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

[Leif Andersen]

I kind of want to talk about inlining, if that works for everyone.

~Leif Andersen


On Fri, Jan 29, 2016 at 3:03 PM, Stephen Chang <stchang at ccs.neu.edu> wrote:
> 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
>>
>
> _______________________________________________
> Pl-sem-jr mailing list
> Pl-sem-jr at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr