University of California, Berkeley: Paul Hilfinger's "Static Semantics Overview"
Study slides 1 - 7. Note that these slides are associated with the lecture below.
Click http://web.archive.org/web/20141219144036/http://inst.eecs.berkeley.edu/~cs164/sp11/lectures/lecture16.pdf link to open resource.