Proposal to add Contract Programming to C++ (Revision 3)
This proposal describes a small assertion sub-language that unifies compile-time and run-time assertions. The benefits are among others a higher degree of self-documenting source code, better design tools, and easier debugging and testing.

No queries for www.open-std.org/jtc1/sc22/wg21/docs/papers/2005/n1866.html