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