discusses Design by Contract programming in an O'Reilly article.
"Design by Contract is a programming approach that formalizes the interface
between callers and callees, leading to more robust and disciplined code. If
your language lacks formal support for DBC, though, are you stuck?
No--Charles Mills describes the design and implementation of Design by
Contract for the C programming language."
(Log in to post comments)