 it yet.</span>&#8221;</span></em></span>
    </p></blockquote></div>
<div class="blockquote"><blockquote class="blockquote"><p>
      <span class="emphasis"><em>-- Bertrand Meyer (see <a class="link" href="boost_contract/bibliography.html#Meyer97_anchor">[Meyer97]</a>
      page 400)</em></span>
    </p></blockquote></div>
<p>
    This library implements <a href="http://en.wikipedia.org/wiki/Design_by_contract" target="_top">contract
    programming</a> (a.k.a., Design by Contract or DbC) <a href="#ftn.boo