CS 541 meeting -*- Outline -*- * the course (can omit) ** prerequisites ------------------------------------------ PREREQUISITES Com S 440 + context-free grammars + compiler data structures + run-time costs of various features + large software programming experience OR Com S 342 + basic constructs of languages + interpreters + interpreter data structures + design alternatives for features + functional programming ------------------------------------------ we won't do an extensive review of 342's material, if you're worried, take 342 ** plan for the course ------------------------------------------ PLAN FOR THE COURSE Use the textbook Concepts, Techniques, and Models of Computer Programming by Peter Van Roy and Seif Haridi (MIT Press, 2004). Broadly: - General Compuation Models - Specialized Compuataion Models - Semantics Uses the language Oz ------------------------------------------ *** description ------------------------------------------ COURSE DESCRIPTION Survey of the goals and problems of language design. Formal and informal studies of a wide array of programming language features including type systems, naming, state, and control. Creative use of functional and declarative progamming paradigms. ------------------------------------------