Re: [RFC] Splitting kernel headers and deprecating __KERNEL__

[Bernd Eckenfels]

In article <Pine.LNX.4.58.0412011948450.22796@xxxxxxxxxxxxxxx> 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
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/