CSI 4125

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
CSI 4125

CSI 4125 Theory of Programming Languages
Winter 2005

Course Outline (postscript, pdf)
Professor
Office Hours
- Friday 9:30-11:30
Lectures
- Tuesday 14:30-16:00, SITE A0150
- Friday 16:00-17:30, SITE A0150
Required Textbook
- Essentials of Programming Languages, Daniel P. Friedman, Mitchell Wand, and Christopher T. Haynes, MIT Press, 2nd edition, 2001.
- The textbook is available at Benjamin Books, 122 Osgoode Street.
- Textbook web page http://www.cs.indiana.edu/eopl/
Assignments
- Assignments must be handed in at the beginning of class on the due date. If submitted later in the day (including during or after class), there will be a deduction of 5%. Each additional day will result in a further 5% deduction. No assignments will be accepted after the solutions have been posted.
- Each student is required to do each assignment individually. See the policy on plagiarism.
- Assignment 1, due January 21.
- Assignment 2, due February 8.
- Assignment 3, due March 11.
Final Exam
- The final exam will be Friday, April 15, 9:30-12:30, 147 Fauteux Hall.
- Closed book.
- Covers all the material from the course.
- The form of the questions will be similar to the midterm. (See description below.)
Midterm
- The midterm will be Tuesday, February 15 during class.
- Closed book.
- Covers Chapter 1, Chapter 2 (except Section 2.4), Chapter 3 (except first representation of recursive environments in Section 3.6, Fig. 3.9)
- Possible questions include short answers about general material and/or code fragments, writing code fragments, tracing code (for example, to build data structures like environments), maybe multiple choice.
Evaluation
- Assignments, 30%
- Midterm Exam, 20%
- Final Exam, 50%
- There will be approximately 4 assignments.
- The midterm exam will take place during class time sometime in February.
- To pass the course, you must obtain at least 50% on the final.
Programming
- The language of implementation for the course will be Scheme.
- It is highly recommended that you use DrScheme. You may either download it, or use the version that is available under Microsoft Windows in the SITE lab. (Assignments will be marked using this version.) To run the book's code you need to change the language. (From the "Language" menu, select "Choose Language", and choose "Essentials of Programming Languages (2nd ed.)". Then click on "Run" or "Execute".)
- If you want to use another Scheme, you will need the appropriate Scheme language extensions to run the book's code. See the textbook web site for information.
- The DrScheme web site has a useful Scheme tutorial.
Lecture Notes and Code
Approximate Course Outline (with textbook readings)
- Review of Grammars, Recursive Programs, and Scheme, Sections 1.1, 1.2
- Scoping and Binding of Variables, Section 1.3
- Data Abstraction and Data Type Representation, Chapter 2
- A Simple Interpreter, Section 3.1
- The Front End, Section 3.2
- Conditional Evaluation, Section 3.3
- Local Binding, Section 3.4
- Procedures, Section 3.5
- Recursion, Section 3.6
- Variable Assignment, Section 3.7
- Parameter-Passing Variations, Section 3.8
- Statements, Section 3.9
- Objects and Classes, Chapter 5
- A Continuation-Passing Interpreter for Logic Programming, Chapter 7