CMU 15-671Models of Software SystemsFall 1995
Structural Induction
Garlan & Wing Handout 7 27 September 1995

• Introduction
• Definition of Binary Trees
• Definition of Size
• Proving a Theorem by Structural Induction
• Exercises for the Reader
• About this document ...