Points to emphasize

  • terminology -- make sure that all phrases are mentioned
  • polymorphism -- flexible type system
  • abstract data types -- as a means to structure software
  • contracts -- as a guideline for validating software

slide: Points to emphasize