🚀 go-pugleaf

From article <16479@joshua.athertn.Atherton.COM>, by joshua@athertn.Atherton.COM (Flame Bait):
> "Proving your programs are correct" seems to mean different things
> to different people:
> 
> One group thinks it means that your program does exactly what your
> spec says it should.
> 
> Another group thinks it means that you can put complex assertions
> in your code and have the checker makes sure that these assertions
> are always true.

And a third group (including myself) thinks it means you can put
assertions in your code and in your interfaces and carefully
try to see to it that those assertions are true at each time point.

This is not very hard at all for good programmers (in fact I would
claim that those who cannot do this cannot be good programmers),
and has the extra advantage that the assertions act as documentation
for future maintenance.
-- 
Snorri Agnarsson		|  Internet:	snorri@rhi.hi.is
Taeknigardur, Dunhaga 5		|  UUCP:	..!mcvax!hafro!rhi!snorri
IS-107 Reykjavik, ICELAND