Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!tut.cis.ohio-state.edu!ucbvax!pasteur!ladkin@icsib
From: ladkin@icsib (Peter Ladkin)
Newsgroups: comp.theory
Subject: Re: Reasons why you don't prove your programs are correct
Message-ID: <21211@pasteur.Berkeley.EDU>
Date: 17 Jan 90 17:54:43 GMT
References: <1990Jan11.105904.16516@agate.berkeley.edu> <672@s5.Morgan.COM>
Sender: news@pasteur.Berkeley.EDU
Reply-To: ladkin@icsib (Peter Ladkin)
Organization: International Computer Science Institute
Lines: 5

folks, i occassionally dream that those who post messages of content-free
reaction are condemned to read news at 1200 baud. but then i wake up and
realise, sadly, the world is not always the way we dream it.

peter ladkin