previous | start | next

---

Programming by Contract

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

---

previous | start | next