User Tools

Site Tools

Trace: • lecture_7
plc16:lecture_7

Lecture 7

Lecture 7 Slides

This lecture is about writing recursive functions for manipulating lists and also proving properties of programs.

Readings

  • PL: BPC Chapter 2 (Sections 2.0-2.6, 2.11 and 2.13)
plc16/lecture_7.txt · Last modified: 2016/09/12 19:01 by hossein

Page Tools