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  

Return to top

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.

Return to top

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.

Return to top

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.