Using Design by Contract in C (O'ReillyNet)
[Posted November 1, 2004 by cook]
Charlie Mills
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)