Design by contract is a programming technique that allows the semantics of a class's behavior to be specified this technique helps you produce more reliable software at the cost of additional formalism. Here's how to apply this traditionally object-oriented technique to procedural languages such as C.