Re: [RFC] Splitting kernel headers and deprecating __KERNEL__

Bernd Eckenfels
2004-12-02T04:28:15Z

In article <Pine.LNX.4.58.0412011948450.22796@ppc970.osdl.org> you wrote:
> I think you're making that up. Maybe there's some sw cult that swears by
> "contract programming"

Design by Contract is the reason for descibing the agreement between
caller/callee as an contract. Bertran Meyer added the pre-conditions and
post-conditions (kind of asserts) to his Eiffel Language, and I dont think
that that is limited to a single system, but is also valid for bondaries
like an ABI. It describes conventions like syscall numbers, too.

Greetings
Bernd

PS: http://en.wikipedia.org/wiki/Eiffel_programming_language