"Kayvan A. Sylvan" <[EMAIL PROTECTED]> writes:

| This is the whole point of Knuth's Literate Programming paradigm. You write a
| document that describes and implements the code.

And if you can then write code that enforces the documented behaviour
it will be even easier.

This is done by assertions and invariants + compiler enforced
requirements (concept checks).

        Lgb

Reply via email to