Course Syllabus
The table below gives the planned syllabus for the course. This syllabus is subject to change, as experience dictates. When it becomes necessary to revise the schedule, his page will be updated to reflect the changes.
Material describing the course and its objectives and grading policies is available elsewhere.
References in the readings are from the book Concepts, Techniques, and Models of Computer Programming [vanRoy-Haridi04], except as noted. Other references are given in the bibliography below.
| Dates | Topics | Readings | Optional Readings |
|---|---|---|---|
| Aug. 22 | Introduction | Handouts, Grading Policy | Preface |
| Aug. 22 | Introduction to Programming Concepts | Chapter 1 | Appendix IV, [Watt90] |
| Aug. 23 | Mozart/Oz | Appendix A | [MozartWeb] |
| Aug. 24 | Introduction to Programming Concepts | Chapter 1 | Appendix IV, [Watt90] |
| Aug. 29-31 | Declarative Computation Model | Chapter 2 | [Hudak89] |
| Sep. 5-7 | Declarative Computation Model | Chapter 2 | [Hudak89] |
| Sep. 12 | Declarative Computation Model | Chapter 2 | [Hudak89] |
| Sep. 14-Oct. 5 | Declarative Programming Techniques | Chapter 3 | [Hudak00] |
| Oct. 10-19 | Declarative Concurrency | Chapter 4 | |
| Oct. 24 | Exam | Chapters 1-3 | Preface, Appendix IV, [MozartWeb], [Hudak89], [Watt90] |
| Oct. 26-Nov. 16 | Declarative Concurrency | Chapter 4 | |
| Nov. 21-23 | Thanksgiving Break, no class | ||
| Nov. 26-30 | Message Passing | Chapter 5 | |
| Dec. 5-6 | Explicit State | Chapter 6 | |
| Dec. 6 | Exam Review | ||
| Dec. 7 | Course Summary and Evaluation | ||
| Fri., Dec 15, 9:45am-11:45am | Final Exam | Chapters 4-6 |
Bibliography
- [Hennessy90]
- Matthew Hennessy. The Semantics of Programming Languages. Wiley, New York, NY, 1990.
- [Hudak89]
- Paul Hudak. Conception, Evolution, and Application of Functional Programming Languages. ACM Computing Surveys 21(3):359-411, Sept. 1989. http://doi.acm.org/10.1145/72551.72554
- [Hudak00]
- Paul Hudak. The Haskell School of Expression: Learning Functional Programming through Multimedia. Cambridge University Press, New York, NY, 2000.
- [MozartWeb]
- Mozart/Oz Web site, http://www.mozart-oz.org/, accessed August 15, 2006.
- [vanRoy-Haridi04]
- Peter van Roy and Seif Haridi. Concepts, Techniques, and Models of Computer Programming. MIT Press, Cambridge, MA, 2004.
- [Watt90]
- David Watt. Programming language concepts and paradigms. Prentice-Hall, New York, NY, 1990.
Course Content and Policies
The course's content and grading polices are described on separate web pages. See the links on the top left of this page.
Last modified Monday, December 4, 2006.
This web page is for the Fall 2006 offering of Com S 541 at Iowa State University. The details of this course are subject to change as experience dictates. You will be informed of any changes. Please direct any comments or questions to Gary T. Leavens.