Reasons why you don't prove your programs are correct

Article View: comp.ai

Article #8619

#8619

From: "Steve" Stevenson
Date: Fri, 05 Jan 1990 18:55

14 lines
1363 bytes

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
-- 
Send compilers articles to compilers@esegue.segue.boston.ma.us
{spdcc | ima | lotus}!esegue.  Meta-mail to compilers-request@esegue.
Please send responses to the author of the message, not the poster.

Technical Details

Message-ID: <7578@hubcap.clemson.edu>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!clyde.concordia.ca!uunet!samsung!zaphod.mps.ohio-state.edu!tut.cis.ohio-state.edu!rutgers!att!ima!esegue!compilers-sender

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!clyde.concordia.ca!uunet!samsung!zaphod.mps.ohio-state.edu!tut.cis.ohio-state.edu!rutgers!att!ima!esegue!compilers-sender
From: steve@hubcap.clemson.edu ("Steve" Stevenson)
Newsgroups: comp.ai,comp.arch,comp.compilers,comp.databases,comp.edu,comp.object
Subject: Reasons why you don't prove your programs are correct
Message-ID: <7578@hubcap.clemson.edu>
Date: 5 Jan 90 18:55:11 GMT
Sender: compilers-sender@esegue.segue.boston.ma.us
Reply-To: steve@hubcap.clemson.edu ("Steve" Stevenson)
Organization: Clemson University, Clemson, SC
Lines: 14
Approved: compilers@esegue.segue.boston.ma.us