of University Toronto CSC324Principles of Programming Languages, Summer 2001
Course Information Lecturer
Diana Inkpen ofce: phone: e-mail: Wed 4:30-6, Thu 2-3:30 SF4301B 416-978-4299 [e-mail] SF2303D
Ofce Hours
Information Sources
The web page: http://www.cs.toronto.edu/ dianaz/324/ The newsgroup: ut.cdf.csc324h You are responsible to read the newsgroup and follow the announcements made in class or on the webpage.
Lectures and Tutorials
Day section Tue 1-3 SS1083 Evening section Wed 6-8 MP134 Tutorials: Day section Wed 1-2 Evening section Wed 8-9 Tutorials begin the second week of term. You must attend your own tutorial section or your marks could be mislaid. See the course webpage for locations and tutorial room assignments. Tutors: HaiTao Zhang Ramona Truta Cosmin Truta Tristan Miller Lectures:
Textbooks
You are required to have: Text: Robert Sebesta, Concepts of Programming Languages, 4th ed., Addison-Wesley, 1999.
A Students Guide to CDF, available for a couple of dollars from the Bookstore.
The following reference books, available at the library for short-term loan, may be useful: Aho, Sethi and Ullman, Compilers: Principles, Techniques, and Tools, Addison Wesley, 1986. Scheme ref.: Kent Dybvig, The Scheme programming language: ANSI Scheme, 2nd ed., Prentice Hall, 1996. Advanced Scheme ref.: Springer and Friedman, Scheme and the Art of Programming, McGrawHill, 1989. Prolog ref.: Clocksin and Mellish, Programming in Prolog, 4th ed., Springer-Verlag, 1994. Prolog ref.: Bratko, Prolog Programming for Articial Intelligence, Addison-Wesley, 19 90. Advanced Prolog ref.: Sterling and Shapiro, The Art of Prolog: Advanced Programming Techniques, 2nd ed., MIT Press, 1994. 1
Prerequisites
The prerequisites for this course are CSC148 and either CSC238 or MAT246. If you lack this prerequisite, you will eventually be removed from the course. Only in special cases will I give my permission for a student to take CSC324 without the prerequisite. See me as soon as possible to discuss this.
Course Grading Scheme
Item Homework 1 Homework 2 Project 1 Midterm test Homework 3 Project 2 Homework 4 Final exam Date Friday, June 1, 5pm Sunday, June 10, 5pm (Day section) Wednesday, June 13, 6pm (Evening section) Thursday, June 21, 6pm (Day section) Friday, June 22, (Evening 6pm section) Wednesday, June 27, 1pm (Day section) Wednesday, June 27, 8pm (Evening section) Thursday, July 12, 6pm (Day section) Friday, July 13, 6pm (Evening section) Thursday, July 26, 6pm (Day section) Friday, July 27, 6pm (Evening section) Monday, August 6, 6pm August 13-17 week 03 week 04 week 06 week 07 week 9 week 11 week 13 exam period Weight 6% 3% 12% 16% 3% 12% 3% 45% Topic/Comments Formal Specications Intro to Scheme Scheme - In tutorial Intro to Prolog + Type Systems Prolog Procedures Three hour exam
Important: Projects and homeworks must be handed into the 324 drop box. They can also be handed in class when it happen that the due time is the beginning of a lecture or tutorial. All homeworks and projects are to be done individually. For homeworks you are allowed to consult with your colleagues, but you have to indicate who you consulted with. For projects you are not allowed to consult with anybody. You must receive at least 40% on the nal exam in order to pass this course. For some course work, the correctness of your program will be assessed based on the number of our own test cases that your program passes. Like the math department does in its Calculus class, we may choose to mark only parts of your homeworks.
Late Policy
Late homeworks receive a penalty of 30% if they are two days late. They are not accepted later than this. Late projects...