Old Course Homepage
Old About Com S 342
Old Contact Info
Homework & Grades
Old Grading Policies
Old Homework Directory
Q & A
Old Meeting outlines
About Computer Science 342
This page provides general information about the Fall 2001 offering of Computer Science 342. The course home page is http://www.cs.iastate.edu/~cs342, where other supporting information can be found through the links on the left.
This page is organized as follows:
Lecture attendance is required. Meeting times and locations are as follows:
Tuesdays and Thursdays at 2:10-3:30pm, Pearson 205
Attendance at discussion sections is strongly recommended. Meeting times and locations are as follows:
Section A, Wednesday 3:10pm, Atanasoff B29, Facundo Bromberg's
There are two required texts for the course:
There are two optional (but recommended) texts for the course:
All the texts, plus some additional resources, are on reserve at the Parks library.
You must have an account on the department Unix machines.
From the Iowa State University Bulletin: "Organization of programming languages emphasizing language design concepts and semantics. Study of language features and major programming paradigms, especially functional programming. Programming projects."
To meet your need to learn new programming langauges quickly, and to help you work better with the languages you do use, this course seeks to provide a forum where you can develop an understanding of the basic design decisions that are part of every programming language. Things like:
Our technique for studying these questions will be two-fold. First we will learn the functional programming language Scheme. Functional programming is much different from the imperative programming that most of us are used to from languages like C++, Visual Basic, or Java. Learning functional programming helps one to develop a more thorough understanding of the various ways of organizing programs.
After we have developed some experience with Scheme we will develop a series of interpreters for various small programming languages. These interpreters allow us to experiment with various design decisions, how those decisions interact, and how different language features are implemented.
The general objectives for this course are divided into two parts: a set of essential objectives, and a set of enrichment objectives. The essential objectives will be helpful for your career as a computer scientist; hence we want to help you to master them. You are encouraged to explore the enrichment objectives both for their own sake and because learning more about those will help deepen your understanding of the essential objectives.
In one sentence, the main objective is that you will have a deep, working knowledge of the functional paradigm and the key ideas used in modern programming languages. In more detail the essential objectives for this course are that you will be able to:
You will be permitted to use the textbook and course notes for tasks involving programming, but not during tests. On tests you may be permitted a small amount of reference material.
The functional style is one answer to the question: "What are good ways to program?" It also represents one major way to organize a programming language for parallel processing. Even if you do not become a programmer, the ideas of functional programming (function abstraction, referential transparency, etc.) have important applications in all areas of Computer Science (such as software specification, algorithm design, and of course in manipulation and specification of programming languages). These ideas also have application in many other contexts such as mathematics and engineering.
Data abstraction is a key idea for allowing programs to be easily modifiable. It forms the basis for the object-oriented style of programming.
One specific benefit of achieving these objectives is that your understanding will help you learn new languages quickly, by mapping key ideas and concepts from this class into the new language's syntax and semantics. For example, Java and other object-oriented languages (such as Smalltalk-80) use the "indirect model" of storage, which will be unfamiliar to you if you've programmed only in C++, C, Pascal, or Ada (all of which use the "direct model"). We will study the indirect model in detail, and you will gain practical programming experience with it, using Scheme. Learning this and other key ideas will also help you read (or write!) a new language's reference manual.
More importantly, understanding of fundamental concepts and run time implementation ideas will help you to better understand whatever language you program in; this will help you program more effectively. Being able to program better will also give you increased job satisfaction.
Enrichment objectives could be multiplied without limit, but the following seem most important or most easily taught using the course text. Following each of the enrichment objectives is a brief justification.
The formal prerequisites in the Iowa State catalog are successful completion of Com S 321, English 104, Com S 330 or Cpr E 310, and either Com S 309 or Com S 361.
My original ideas for this course at Iowa State were developed with the help of Kelvin Nilsen. Final exams for similar courses at other universities were provided by Kim Bruce (Williams College), Sam Kamin (University of Illinois), Dan Friedman and J. Michael Ashley (Indiana), and John Mitchell (Stanford); these helped provide perspective on what is important for such a course. Thanks also to Simanta Mitra for discussions about variations of this course taught at Iowa State. For this version of the course, I owe a great deal of thanks to Clyde Ruby, who was my TA and then an instructor for the course and who provided much of the infrastructure for the course. I also owe many thanks to Curtis Clifton at Iowa State for collaboration much work on these web pages, for collaborative discussions about the course, and for collaboration on the Scheme type checker we sometimes use. Further thanks are due to authors of the textbooks we have used. Thanks all!
Last modified Monday, January 12, 2004.
This web page is for the Fall 2001 offering of Com S 342 at Iowa State University. The details of this course are subject to change as experience dictates. You will be informed of any changes. Thanks to Curtis Clifton for help with these web pages. Please direct any comments or questions to Gary Leavens at leavens@cs-DOT-iastate-DOT-edu.