[sci.logic] Reasons why you don't prove your programs are correct

gsmith@garnet.berkeley.edu (Gene W. Smith) (01/11/90)

  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