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

[Phillip Mates]

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>.