CSC324 Lecture Notes - Summer 2001

Note that these are by no means stand-alone slides. A lot of material is presented on the blackboard.

Introduction (ps format) (pdf format)

Formal Specifications (ps format) (pdf format)

Functional Programming (ps format) (pdf format). Additional notes with the functions developed on the blackboard during the week of June 2-8 are here.

Type Systems (ps format) (pdf format)

Logic Programming (ps format) (pdf format).Additional material:

• Prolog search tree for slide 25  ?- X=[1,2,3], member(a,X).
• Prolog search tree for slide 42  ?- uncle(X,Z).
• Prolog search tree for slide 45  ?- trip(ny,austin).
• Aditional notes on parsing in Prolog are here.
• Notes on search trees in Prolog here.

Procedural Language Design Issues (ps format) (pdf format)

Revision and Exam Preparation. Here is the exam for last summer (ps format) (pdf format). Tehre will be copies in class.