dbc

• Programming languages for Wall Street
  by Finnian Reilly (modified: 2010 Apr 28)

  Tags:
  • dbc
  • design by contract
• Setting the assertion level
  Tags:
  • assertion
  • check
  • invariant
  • dbc
• Design by Contract in SCOOP
  Tags:
  • scoop
  • concurrency
  • assertion
  • dbc