Re: Reasons why you don't prove your programs are correct

Article View: comp.theory

Article #2018

#2018

From: Bruce Becker
Date: Fri, 12 Jan 1990 09:26

15 lines
1039 bytes

In article <1990Jan11.105904.16516@agate.berkeley.edu> gsmith@garnet.berkeley.edu (Gene W. Smith) writes:
|
|  There has already been one request to get this crap out of
|sci.math. Not only do you jerks not listen, this subject is still
|cross-posted to a zillion other irrelevant groups.  Put this
|rubbish in comp.theory where it belongs, and try to remember that
|not everyone on the net is a CS weenie.

	Hey! Watch your mouth!

-- 
  \\\\	 Bruce Becker	Toronto, Ont.
w \66/	 Internet: bdb@becker.UUCP, bruce@gpu.utcs.toronto.edu
 `/v/-e	 BitNet:   BECKER@HUMBER.BITNET
_<  \_	 "Head-slam me, Jesus, on the turnbuckle of life" - Godzibo

Technical Details

Message-ID: <2091@becker.UUCP>

Path: arc1-ca.pugleaf.net!utzoo!censor!geac!becker!bdb

References: <1990Jan11.105904.16516@agate.berkeley.edu>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!censor!geac!becker!bdb
From: bdb@becker.UUCP (Bruce Becker)
Newsgroups: comp.theory
Subject: Re: Reasons why you don't prove your programs are correct
Message-ID: <2091@becker.UUCP>
Date: 12 Jan 90 09:26:19 GMT
References: <1990Jan11.105904.16516@agate.berkeley.edu>
Reply-To: bdb@becker.UUCP (Bruce Becker)
Organization: G. T. S., Toronto, Ontario
Lines: 15

Reply to Parent Message