University of California, Berkeley: Paul Hilfinger's "Local Optimization"

Read slides 1 through 8.

Click http://web.archive.org/web/20160502182827/http://inst.eecs.berkeley.edu/~cs164/sp11/lectures/lecture36.pdf link to open resource.