PLP Challange Exam

Date and time TBA, based on the schedules of students who wish to challenge the exam

Material Covered: Lisp Programming, ML Programming, Lisp Implementation, Program verification

Read the following materials:

Chapters 3, 4, 8 and 9 from Programming Languages, Concepts and Constructs

• Quick Guide to Lisp postscript pdf MS Word

• Quick Guide to Lisp Implementation postscript pdf MS Word

• Miterm 1 Review Sheet postscript pdf MS Word

• Proving Programs Correct postscript pdf MS Word (+ Sample Problems)

You should also look over the programming assignents in ML and Lisp, located here