Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10 beta 3/9/83; site cwruecmp.UUCP Path: utzoo!watmath!clyde!floyd!harpo!eagle!mit-vax!grkermit!genrad!decvax!cwruecmp!decot From: decot@cwruecmp.UUCP (Dave Decot) Newsgroups: net.lang Subject: Re: Superstition in Programmers Message-ID: <904@cwruecmp.UUCP> Date: Tue, 17-Jan-84 22:21:58 EST Article-I.D.: cwruecmp.904 Posted: Tue Jan 17 22:21:58 1984 Date-Received: Wed, 8-Feb-84 02:26:38 EST References: <322@decvax.UUCP>, <598@dciem.UUCP> Organization: CWRU Computer Engr. Cleveland, Ohio Lines: 8 I was formerly "for" the use of inequalities where equality is meant, but now I am against it. Although I don't understand how using them makes proving correctness any harder, I disagree with their use on the ground that such use is too fault-tolerant. Off-by-one bugs are much more difficult to find than those that cause "run-away" execution. Dave Decot decvax!cwruecmp!decot (Decot.Case@rand-relay)