Reasons why you don't prove your programs are correct

steve@hubcap.clemson.edu ("Steve" Stevenson)
5 Jan 90 15:15:55 GMT

          From comp.compilers
Related articles
Reasons why you don't prove your programs are correct steve@hubcap.clemson.edu (1990-01-05)
Re: Reasons why you don't prove your programs are correct keithd@anvil.oz.au (1990-01-12)
Re: Reasons why you don't prove your programs are correct mayer@iuvax.cs.indiana.edu (Mayer Goldberg) (1990-01-17)
Re: Reasons why you don't prove your programs are correct pardo@cs.washington.edu (1990-01-22)
Re: Reasons why you don't prove your programs are correct pardo@cs.washington.edu (1990-01-24)
Re: Reasons why you don't prove your programs are correct gateley@m2.csc.ti.com (1990-01-26)
| List of all articles for this month |
From: steve@hubcap.clemson.edu ("Steve" Stevenson)
Newsgroups: comp.ai,comp.arch,comp.compilers,comp.databases,comp.edu,comp.object
Date: 5 Jan 90 15:15:55 GMT
Organization: Clemson University, Clemson, SC

I'm trying to discover the real reason why people do not prove their programs
are correct. I would like to collect those reasons --- even those snappy
one liners that we all use as excuses.


Please forward your comments ( short flames ok) to me by E-mail. I'll post
the replies if there is sufficient interest. Thanks.
--
Steve (really "D. E.") Stevenson steve@hubcap.clemson.edu
Department of Computer Science, (803)656-5880.mabell
Clemson University, Clemson, SC 29634-1906




Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.