[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: contractual programming



  For those of you who just tuned in, contractual programming is the
  attaching of some expression to a class or a method to be used as a
  contract.

This sounds similar to the "class invariants" (is that right?)
in Eiffel.

-- jeff