Notes for Shivers' Spring 2013 graduate seminar for program analysis.