1.6. Exercises

1.6.1. Mandatory exercises

• Exercise 3: Define and check the termination measure for find_min’s walk.
• Exercise 4: Implement and verify the find_min2.
• Exercise 6: Imperative version of find_min2 with loop invariants.

1.6.2. Recommended exercises

• Exercise 5: Reflections on tail-recursive functions.
• Exercise 7: Sorting in a descendent order.
• Exercise 8: Tail-recursive insertion sort.