Applying Design by Contract to C

                   Exploring a practical approach to bringing DbC principles to a language that has a bad reputation for safety.

Synopsis

Design by contract was first coined by Bertrand Meyer in connection with the Eiffel programming language, and it was described in various articles starting in 1986, as well as in his book "Object-Oriented Software Construction" published in 1988 and 1997. The concept emphasizes defining formal interface specifications for software components, akin to business contracts. 

Wikipedia

My background reading suggests that Design by Contract (DbC) has never been mainstream and, even

Vigil++ Because eternal moral vigilance is no laughing matter.

It's Vigil for C++ but with the chance of redemption!

Install Me: Bit Bucket

Bob Nystrom has created the excellent Vigil programming language that auto-deletes any deviant code from the code base! Vigil++ is a denomination that offers redemption! Whilst it does deliver implore and swear macros, it does not adhere to the extreme run time vigilance of Vigil by deleting code but rather throws a moral-exception and a frowny face ಠ_ಠ as appropriate admonishment! But whilst you will be chastened, you will also be given the chance of redemption by being able to recover from the moral-exception.

Why Vigil++?