[PL-sem-jr] Tomorrow's PL Jr: Abstract Interpretation

[David Van Horn]

On 11/1/12 3:51 PM, Phillip Mates wrote:
> Tomorrow at PL Jr. we will be talking about Abstract Interpretation!
>
> Abstract Interpretation is the act of running a program in an imprecise
> way that guarantees termination.
>
> We'll focus on formulating a control flow analysis by abstracting a CESK
> machine as described in Might and Van Horn's Abstracting Abstract
> Machines <http://matt.might.net/papers/vanhorn2010abstract.pdf>. From
> there, we'll dive into optimizing these machines by way of store
> widening and abstract garbage collection.
>
> This weeks seminar will last 1 hour, partially because I can't sit for
> any longer, but also because I need to take off at 1:30 tomorrow.

Not to take the wind out of anyone's sails, but this will also be the 
topic of next weeks lectures in Matthias's PL class.  (It's probably 
worth seeing this from multiple perspectives, I just wanted to point out 
that there will be some overlap.)

David