ONJava.com -- The Independent Source for Enterprise Java
oreilly.comSafari Books Online.Conferences.

advertisement

AddThis Social Bookmark Button
Article:
  Using Design by Contract in C
Subject:   No side effects (contract vs. assert)
Date:   2004-11-11 00:15:29
From:   Ephaeton
Now I'm confused, given that the author stresses that code should behave the same with or without DBC active; the implementation given calls abort() just as assert() would...


Big words (DBC), business as usual...


1 to 1 of 1
1 to 1 of 1