Homepage for CSC 324, Fall 1998

Programming Languages

St.George and Erindale sections

General Information:

Instructor:	Prof. Marsha Chechik
Email:	chechik@cdf.toronto.edu	chechik@credit.erin.toronto.edu
Office Hours:	T. 1-2 p.m., Th. 10-11 a.m. and by appointment	W. 4-5 p.m.
Office:	D.L. Pratt 384, 978-3820	South Bldg 2042, 569-4645
Lectures:	TuTh 12-1 p.m. in MP203	Wednesdays 2-4 p.m. in South Bldg. 1104
Tutorials:	Mondays 12-1 in MP202	Fridays 12-2 in South Bldg. 1130
Tutors:	Mark Pichora	Same TAs, e-mail etcsc324f@credit.erin
	Kit-Sun Ng
	Marcus Santos
Computing Facilities:	St.George	Erindale

Course Administration:

Information sheet
CSC 324 newsgroup We will use the same newsgroup for Erindale and St.George sections. The newsgroup will contain important postings and you are required to read it regularly
Course outline
Reading list
Marks: [Erindale] [St.George]

Announcements:

Unofficial marks for Erindale and St.George sections have been computed. The marksfiles contain marks for assignments and the final, the term mark computed as described in the information sheet, the adjusted term mark, and the reported mark and grade. The reported mark is the maximum of the final and the adjusted term mark. This mark is rounded up whereever appropriate. Please note that these marks are unofficial, and subject to approval of the faculty. If your marks are not recorded correctly, or there is an error in calculations, or you have a remarking request for any of the assignments, please bring them to my attention as soon as possible.

Assignment 3B is available in CSSU.

[St.George]

[Erindale]

Happy holidays!

Course work:

Lecture notes

notes.html

Tutorial handouts.

Tutorial 1 - Introduction to Scheme.
Tutorial 2 - Programming in Scheme. Testing and Documentation.
Tutorial 3 - Bindings and higher-order programming.
Tutorial 4 - Proofs of correctness.
Tutorial 5 - Introduction to ML.
Tutorial 6 - ML Pattern-matching and datatype analysis.
Tutorial 7 - Material for Assignment 2B.
Tutorial 8 - More examples related to Assignment 2B.
Tutorial 9 - Introduction to Prolog.
Tutorial 10 - Unification. Horn clauses. Prolog inference.
Tutorial 11 - Programming in Prolog. Lists.
Tutorial 12 - Examples of grammars and more Prolog.

Assignments.

Assignment 1 - Scheme. 15% of the final mark.

Assignment 2 - ML. 20% of the final mark.

Assignment 3 - Prolog. 15% of the final mark.

Additional homeworks. These will not be collected, but the material will appear on the final exam.

Homework 1: Grammars (in Postscript). Solutions.
Homework 2: Parameter-passing techniques (in HTML). Solutions.

Links to programming language resources

Scheme. This is the MIT collection of Scheme resources. You will find a downloadable version of a Scheme environment (for Windows, Linux, etc.) and a Scheme manual. It is definitely a good reference, although might be a bit hard to read.
ML. This site contains an excellent tutorial. Lots of other ML information including instructions for obtaining an ML environment for your home machine, is available at http://foxnet.cs.cmu.edu/sml.html.
Prolog. We are using XSB Prolog in this course. It can be downloaded for a variety of platforms from ftp.cs.sunysb.edu. The manual is also available.

Marsha Chechik

Last modified on September 13, 1998