22C:54, section 2 - Programming Language Concepts


General Info.
Course Homepage
About 22C:54
Contacting Us
Syllabus

Homework & Grades
Grading Policies
Homework Directory
Exams

Reference
Q & A
Handouts
Meeting outlines
Resources
Running Scheme
Scheme Library

Links
Department Homepage
U. of Iowa Homepage

Valid HTML 4.0!
Valid CSS!
 

About Computer Science 54

This page provides general information about the Fall 2000 offering of Computer Science 54, section 2. This is an old offering of the course.

This page is organized as follows:

  1. Meetings
  2. Course Textbooks
  3. Computer Accounts
  4. Course Description
  5. Objectives
  6. Prerequisites
  7. Acknowledgements

Old Meeting Times

Lecture attendance was required. Meeting times and locations were as follows:

Lectures
Mondays, Wednesdays, Fridays
3:30-4:20pm, 205 MLH

Return to top

Old Course Textbooks

There was one required text for the course, Essentials of Programming Languages by Daniel P. Friedman, Mitchell Wand, and Christopher T. Haynes MIT Press and McGraw-Hill, 1992, ISBN 0-07-022443-9.

There were two optional (but recommended) texts for the course. The first is The Little Schemer (Fourth Edition) by Daniel P. Friedman and Matthias Felleisen, MIT Press, 1996, ISBN 0-262-56099-2.

The second optional text was Revised5 Report on the Algorithmic Programming Language Scheme, Richard Kelsey, William Clinger, and Jonathan Rees, editors, 1998. You can get this report on-line from our resources page.

All the texts, plus some additional resources, were on reserve at the Mathematical Sciences library.

Return to top

Old Computer Accounts

You must have an account on the department Unix machines.

Return to top

Old Course Description

From the U. of Iowa Catalog: "This course examines advanced topics in programming languages, for example, syntax specification and informal semantic models; program control structures including recursion, co-routines, backtracking, and concurrency; and data abstraction and structuring methods. The course introduces programming paradigms other than imperative and object-oriented, such as functional and logic programming. Examples and projects may rely on several languages such as Pascal, C, C++, Ada, and Java, with Prolog for the logic programming part and ML or Miranda for the functional programming part. This is a required course for majors in computer science. The course is taught by a faculty member."

Old Explanation and revision: The current in vogue computer language is constantly changing. Ten years ago it might have been Pascal or C; today it is probably C++ or Java. There are a host of other languages (Perl, Visual Basic, JavaScript, etc...) that are applicable to their own classes of problems and programming styles.

To have a career in computer science means having to learn new programming languages. This course seeks to provide a forum where students can develop an understanding of the basic design decisions that are part of every programming language. Things like:

  • How does one divide programs into manageable pieces?
  • What is the right conceptual model for translating a real world problem into a program?
  • How does one precisely describe a programming language?
  • How should a language be implemented?
  • What features must a programming language provide?
  • What additional features will help simplify things for users?

For such design questions we will look at several different answers and examine the ways that these answers can be combined. A good grounding in these concepts will help you to quickly learn new programming languages by recognizing how the language's designers answered these questions.

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.

Return to top

Old Objectives

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.

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:

  • Write and modify programs using a mostly-functional style. This means programming that makes effective use of the abstraction mechanisms of functional languages, such as higher-order functions (functions that take functions as arguments and return functions as results) to achieve generality and abstraction.

  • Write and modify programs that make effective use of data abstraction.

  • Modify interpreters to change or enhance their behavior so as to implement various features of programming languages such as: control flow, variables, recursion, scoping, syntactic sugars, arrays, parameter passing mechanisms, objects, and inheritance.

  • Write programs using such features, and explain, using appropriate terminology, the user-visible behavior of such programs.

  • Explain, using appropriate terminology, the data structures and algorithms used in interpreters to implement such features.

  • Compare alternatives in the design and implementation of such features.

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

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.

  • Design or critically evaluate design alternatives for languages and language features by careful consideration of their semantics.

    In designing software you will often be confronted with decisions about features that resemble those found in programming languages. This is particularly true for the design of user-interfaces and abstract data types. For example, a database management system has to deal with names for (say) relations, and thus must have scope rules; it will also have (difficult) type-checking problems, its query language will have control-flow issues, there will be demands for sweeter syntax, etc. The basic principles taught in this course can help with such design decisions, and can provide guidance for overall designs. Such skills are also important in judging whole languages, for example if you wish to buy a compiler for your PC, or if you become a manager of a group of programmers.

  • Be able to write the types of functions and use them in writing software.

    Types are an important way to summarize the behavior of functions, and a key way to check the basic sanity of software. Although types are best checked automatically by software tools, an understanding of them is important for writing such tools, and for aiding the quick construction of correct software.

  • Use algebraic techniques to modify, derive, and prove programs correct.

    Such techniques are a powerful aid in writing sophisticated programs and in reasoning about them. They represent the future of software engineering, which lies in design to specification (as opposed to debugging).

  • Explain and answer questions about the features found in widely-used programming languages, such as Perl, C, C++, Java, Visual Basic, etc.

    This is a good way to deepen your understanding of such features. It also helps in informal or technical discussions.

  • Explain and answer questions about design principles such as regularity, the zero-one-many principle, orthogonality, etc.

    These principles form good rules-of-thumb that you can use in designing programs or languages.

Return to top

Old Prerequisites

The formal prerequisites in the U. of Iowa catalog are successful completion of 22C:30 and completion or enrollment in 22C:40.

Return to top

Acknowledgements

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. I owe a great deal of thanks to Clyde Ruby, who was my TA and then an instructor for the course in its present form, 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, and for collaborative discussions about the course.

Return to top

Last modified Friday, December 29, 2000.

This web page is for the Fall 2000 offering of 22C:54 at the University of Iowa. The details of this course are subject to change as experience dictates. You will be informed of any changes. Thanks to Curt Clifton for help with these web pages. Please direct any comments or questions to Gary Leavens.