CS 541 Lecture -*- Outline -*- for operational-semantics lecture 1 (half) * introduction lecture 1-2 * sos lecture 3 * recursion used in 1995 lecture 3-5 * bececil used only in 1997 lecture 5 (part) * summary