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)