CS 541 Lecture -*- Outline -*- for semantics of object-oriented languages lectures 1-2 * semantics * research-directions