Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!usc!zaphod.mps.ohio-state.edu!rpi!batcomputer!cornell!oravax!ian
From: ian@oravax.UUCP (Ian Sutherland)
Newsgroups: comp.software-eng
Subject: Re: "Program Proving"
Message-ID: <1395@oravax.UUCP>
Date: 6 Mar 90 00:31:38 GMT
References: <39400075@m.cs.uiuc.edu> <52044@microsoft.UUCP>
Reply-To: ian@oravax.odyssey.UUCP (Ian Sutherland)
Organization: Odyssey Research Associates, Ithaca, New York
Lines: 13

In article <52044@microsoft.UUCP> jimad@microsoft.UUCP (Jim ADCOCK) writes:
>I received no such "proven correct" programs.
>
>I did receive one question about what I meant by "non-trivial."  I told
>the questioner that I would leave that up to him.

I asked the question originally.  Consider it asked again.  If you're
going to report on this then YOU will be the judge of whether it's
"nontrivial" or not.
-- 
Ian Sutherland		ian%oravax.uucp@cu-arpa.cs.cornell.edu

Sans Peur