CS 342 Lecture -*-Outline-*- for CLU Notes for next year: make sure notation for types and specs is consistent lecture 1 * introduction ** history-goals lecture 2-3 * basics ** semantic-model ** interpreter lecture 4 * clu-programming lecture 5-6 * Concepts ** abstraction-general ** data-abstraction * type-checking omitted in 1992 * exception-handling omitted in 1992