Xref: utzoo sci.logic:697 sci.math.num-analysis:436 sci.math.symbolic:1124 sci.math:9241 comp.theory:171
Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!usc!apple!agate!usenet
From: gsmith@garnet.berkeley.edu (Gene W. Smith)
Newsgroups: sci.logic,sci.math.num-analysis,sci.math.symbolic,sci.math,sci.philosophy.meta,comp.theory
Subject: Re: Reasons why you don't prove your programs are correct
Message-ID: <1990Jan11.105904.16516@agate.berkeley.edu>
Date: 11 Jan 90 10:59:04 GMT
Sender: usenet@agate.berkeley.edu (USENET Administrator;;;;ZU44)
Reply-To: gsmith@garnet.berkeley.edu (Gene W. Smith)
Followup-To: comp.theory
Organization: Garnet Gang Gems of Wisdom, Inc.
Lines: 11


  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.
--
ucbvax!garnet!gsmith     Gene Ward Smith/Brahms Gang/Berkeley CA 94720
"You and I as individuals can, by borrowing, live beyond our means, but
only for a limited period of time. Why should we think that collectively,
as a nation, we are not bound by that same limitation?" -- Ronald Reagan