Com S 641 - Semantic Models for Programming Languages Spring 2006