Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!henry
From: henry@utzoo.UUCP (Henry Spencer)
Newsgroups: comp.lang.c
Subject: Re: Writing readable code
Message-ID: <8257@utzoo.UUCP>
Date: Mon, 6-Jul-87 14:43:46 EDT
Article-I.D.: utzoo.8257
Posted: Mon Jul  6 14:43:46 1987
Date-Received: Mon, 6-Jul-87 14:43:46 EDT
References: <1158@copper.TEK.COM> <6858@auspyr.UUCP>
Organization: U of Toronto Zoology
Lines: 11

> Some people (Dijkstra and Gries among them) no longer believe that this
> kind of "conservative" test is preferable to the exact test; they base
> this on what it takes to prove an implementation of an algorithm to be
> correct.

Since in the general case such proof requires the use of the ultimate high-
level software tool -- a graduate student -- those of us without access to
such facilities can safely disregard this argument! :-) :-)
-- 
Mars must wait -- we have un-         Henry Spencer @ U of Toronto Zoology
finished business on the Moon.     {allegra,ihnp4,decvax,pyramid}!utzoo!henry