</div></div></div>
<p>
      Contract programming allows to specify preconditions, postconditions, and class
      invariants that are automatically checked when functions are executed at run-time.
      These conditions assert program specifications within the source code itself
      allowing to find bugs more quickly during testing, making the code self-documenting,
      and increasing overall software quality (see <a class="link" href="boost_contract/contract_programming_overview.html" title="Contract 