I. Preliminaries for the first meeting A. staff introductions ------------------------------------------ WELCOME TO Com S 541 PROGRAMMING LANGUAGES 1 Professor Gary T. Leavens 229 Atanasoff Hall Phone: 294-1580 Email: leavens at cs.iastate.edu Office Hours: URL: http://www.cs.iastate.edu/~cs541/ Pick up handouts: ( of them) ------------------------------------------ B. student introductions ------------------------------------------ INTRODUCE YOURSELF 1. On the board write your: a. name b. email address 2. Pronounce your name 3. Your research area 4. Programming Languages you know well? 5. Previous classes in this area? 6. Reason for taking 541? ------------------------------------------ II. the course (can omit) A. 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 ------------------------------------------ B. 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 ------------------------------------------ 1. 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. ------------------------------------------ III. discussion of course policies (can omit if no time, in the handouts) A. Grading ------------------------------------------ GRADING + No Curve Grading + Your grade is 50% based on homework 50% based on tests + You can work with others, but must say so. ------------------------------------------ B. Homework Would you like to make up or select homework problems? Would you like to discuss solutions in class? C. Course text