4 Matching Annotations
  1. Oct 2020
    1. "Objects in a program should be replaceable with instances of their subtypes without altering the correctness of that program." See also design by contract.
  2. Sep 2020