COP6556 - Formal Semantics of Programming Languages, Spring 2011