Programming by Contract

• Spell out responsibilities
  • of caller
  • of implementor
• Increase reliability
• Increase efficiency