In the 10-10 instance of pl-jr, we'll be talking about techniques for control flow analysis in higher-order languages. I'll be discussing the first 5 chapters of Matt Might's thesis, available here: http://matt.might.net/papers/might2007diss.pdf -------------- next part -------------- HTML attachment scrubbed and removed