Reasons why you don't prove your programs are correct

Article View: sci.philosophy.tech

Article #1422

Back to sci.philosophy.tech Previous Next

#1422

From: "Steve" Stevenson
Date: Mon, 08 Jan 1990 14:31

17 lines
1185 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
-- 
Steve (really "D. E.") Stevenson           steve@hubcap.clemson.edu
Department of Computer Science,            (803)656-5880.mabell
Clemson University, Clemson, SC 29634-1906

Technical Details

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

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!emory!hubcap!steve

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!emory!hubcap!steve
From: steve@hubcap.clemson.edu ("Steve" Stevenson)
Newsgroups: sci.philosophy.tech,sci.physics,talk.philosophy.misc,comp.software-eng
Subject: Reasons why you don't prove your programs are correct
Message-ID: <7598@hubcap.clemson.edu>
Date: 8 Jan 90 14:31:08 GMT
Organization: Clemson University, Clemson, SC
Lines: 17