University of Toronto - Winter 2004
Department of Computer Science

CSC 324: Principles of Programming Languages

TA Notes from Tutorials

Here is an abridged version of some of the examples we have covered in the tutorials.

January 16 (Formal Spec): tutorial 1;
January 23 (Formal Spec + Scheme Intro): tutorial 2;
January 23 (Scheme): tutorial 3;
February 6 (Scheme): tutorial 4;
February 13 (Scheme Debugging & Pgming Style): tutorial 5;
February 28 (Variable Scope and Midterm Review): tutorial 6 program for scope example;
March 5 (Discussion of Midterm Solutions): midterm solutions
March 12 (Prolog): tutorial 7
March 19 (Prolog): tutorial 8, Trace reviewed by Sebastian (BA1190), and its proof tree.
March 26 (Prolog): tutorial 9,
April 2 (Prolog): tutorial 10 reviewed Prolog's cut (!) with the "...Picnic Example..." found towards the end of the class notes here,


Back to the main page