Path: utzoo!attcan!uunet!microsoft!jimad
From: jimad@microsoft.UUCP (Jim ADCOCK)
Newsgroups: comp.software-eng
Subject: Re: "Program Proving"
Message-ID: <52044@microsoft.UUCP>
Date: 5 Mar 90 19:31:21 GMT
References: <39400075@m.cs.uiuc.edu>
Reply-To: jimad@microsoft.UUCP (Jim ADCOCK)
Organization: Microsoft Corp., Redmond WA
Lines: 24

For the record, the last time these flames flared up a month or two ago,
I asked for any authors with a "proven correct" non-trivial program that 
they were willing to submit for critique --said program written in C 
and runnable on a PC-- to submit such for my edification.

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 ask the program be in C and runnable on a PC so I can test it.  Also,
this tends to force the issue of portability, which I consider an interesting
test of "goodness" and "non-trivial"

Again, if you are a fan of "proving," and have "proven" a non-trivial C
program that you are willing to submit to public scrutiny, please send
such to me.  I will attempt to test and critique it for goodness.  This
will help me, and others, learn about "proving programs" and how applicable
it really is.

If you originally wrote the program in another language, and only translated
it to C after you got it working, that's okay too.

I will report back to the net about any such programs received.