Lecture: Proving Properties of Recursive Functions and Data Structures

Background Material

• Induction
• Recursion and Induction
• Lists and Recursion
• Recursive Data Structures
• Proving Properties of Recursive List Functions

Reading

• Little Prover (chapters 1-9)

Topics

• Structural induction
• Proving properties of binary trees (height, ipl and complete binary trees)
• Proving properties of arithmetic expressions
  • Differentiation
  • Simplification

Lecture Notes

• recproof.pptx or recproof.pdf

Programs

• diff.rkt

Resources

• none