05 A Study Tip

Play "The Specification Game." There are two people playing:

• The specifier writes a specification
• Repeat
  • Devious implementer writes a broken implementation that nominally satisfies spec
  • Specifier refines spec to rule out brokenness.

Here are some functions to get you started:

num_vowels : string -> int
is_sorted : 'a list -> bool
sort : 'a list -> 'a list
max: 'a list -> 'a
is_prime: int -> bool
is_palindrome: string -> bool
second_largest : int list -> int
depth : 'a tree -> int

You can use these as your first specification if you'd like!