"Documentation by paper"

[Alexandre E. Kopilovitch]

On Mon, 2 Feb 2004 08:59:11 -0800, Joe Buck wrote:
> Robert, the Ada interface description is far from a spec, for any
> nontrivial function.  Almost any real spec will describe restrictions
> on input, and guarantees about the output, that are not written
> in a form that the compiler parses (even in languages like Eiffel with
> support for preconditions and postconditions).  This means that we
> are back to comments.

Yes, but these comments are localized inside the specs, so for documentation
purposes there isn't too much difference between them and actual code (except
that a comment may be plain wrong -:) .