design by contract versus doctest

[aku]

On 2004-04-07, Peter Hickman <peter at semantico.com> wrote:
>  aku wrote:
> > If someone deserves the title "father of DBC" it surely must
> > be E. W. Dijkstra, the one who teached me in college;)
> 
>  How come? This is obviously some bit of CS history I have missed, do tell.

Well, probably anyone back in those who also studied mathematics and 
computer science and took classes in mr Dijkstra's "programming 1" 
and "programming 2" will remember it. When I read "OO software construction" 
from B. Meyer years later - an excellent book btw - I think that, when 
I recall correctly, the author himself mention's  that DBC is squarely 
based on dijkstra's earlier theoretical basis.....
The funny thing is that in those times most students were wondering: 
How can this proof-that-a-program-does-what-it's-supposed-to-do thing 
ever be practically applied?  The real usefullness however only became 
clear to me more and more as the years went by.