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

Article View: sci.logic

Article #685

#685

From: Gene W. Smith
Date: Thu, 11 Jan 1990 10:59

11 lines
1195 bytes

  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

Technical Details

Message-ID: <1990Jan11.105904.16516@agate.berkeley.edu>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!usc!apple!agate!usenet

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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