Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site fortune.UUCP
Path: utzoo!linus!philabs!seismo!hao!hplabs!hpda!fortune!rpw3
From: rpw3@fortune.UUCP
Newsgroups: net.lang
Subject: Re: Superstition in Programmers - (nf)
Message-ID: <2153@fortune.UUCP>
Date: Tue, 3-Jan-84 04:03:13 EST
Article-I.D.: fortune.2153
Posted: Tue Jan  3 04:03:13 1984
Date-Received: Wed, 4-Jan-84 05:09:36 EST
Sender: notes@fortune.UUCP
Organization: Fortune Systems, Redwood City, CA
Lines: 19

#R:abnjh:-34800:fortune:15100005:000:531
fortune!rpw3    Jan  2 23:44:00 1984

And now that we all have gotten superstitious and use "geq" where we
mean "eql", and "<=0" where we mean "=0", along come Edsger Dijkstra,
David Gries, and others saying "No, no, that makes proving your programs
harder! Make your termination conditions EXACT!"

Ref:	Discipline of Programming (Dijkstra)
	Science of Programming (Gries)

Can't win for losing...

Rob Warnock

UUCP:	{sri-unix,amd70,hpda,harpo,ihnp4,allegra}!fortune!rpw3
DDD:	(415)595-8444
USPS:	Fortune Systems Corp, 101 Twin Dolphins Drive, Redwood City, CA 94065