[PL-sem-jr] 3/16 - Type-Directed Flow Analysis for Typed Intermediate Languages

[Brian LaChance]

Not sure on the room for today, but let's assume 164 WVH unless we hear
otherwise. See you at 10.

On Monday, March 14, 2016, Brian LaChance <blachanc at ccs.neu.edu> wrote:

> This week, I'll be walking through the flow analysis framework
> presented in Type-Directed Flow Analysis for Typed Intermediate
> Languages [1]. If you're interested in a flavor of some related work
> from that era, there's a neat retrospective [2] from the Typed
> Intermediate Language folks.
>
> See you Wednesday!
>
> [1]:
> http://web.cs.ucla.edu/~palsberg/tba/papers/jagannathan-weeks-wright-sas97.pdf
> [2]: https://www.cs.cmu.edu/~rwh/papers/til-retro/retrospective.pdf
>
-------------- next part --------------
HTML attachment scrubbed and removed