Article View: comp.ai
Article #8705Re: Reasons why you don't prove your programs are correct
From: james peterson
Date: Wed, 10 Jan 1990 21:41
Date: Wed, 10 Jan 1990 21:41
14 lines
1408 bytes
1408 bytes
In article <1449@krafla.rhi.hi.is> snorri@rhi.hi.is (Snorri Agnarsson) writes: >From article <25711@cup.portal.com>, by mmm@cup.portal.com (Mark Robert Thorson): >> There was an excellent article about 10 years ago in CACM on this. >> I believe the title was "The Social Process and Proofs of Program >> Correctness". This article marked the death of program verification; Please...is this a reference to Fetzer's article in the CACM (Sept '88) entitled "Program Verification: The Very Idea"? Or something much older? If it is Fetzer's article, Mr. Thorson's time dilation qualifies him for the relativity zone....... james lee peterson petersja@handel.cs.colostate.edu dept. of computer science colorado state university "Some ignorance is invincible." ft. collins, colorado 80523
Technical Details
Message-ID:
<3638@ccncsu.ColoState.EDU>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!uwm.edu!zaphod.mps.ohio-state.edu!sunybcs!boulder!ccncsu!scarlatti.CS.ColoState.Edu!petersjaReferences:
<25711@cup.portal.com> <1449@krafla.rhi.hi.is>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!uwm.edu!zaphod.mps.ohio-state.edu!sunybcs!boulder!ccncsu!scarlatti.CS.ColoState.Edu!petersja From: petersja@scarlatti.CS.ColoState.Edu (james peterson) Newsgroups: comp.ai Subject: Re: Reasons why you don't prove your programs are correct Message-ID: <3638@ccncsu.ColoState.EDU> Date: 10 Jan 90 21:41:08 GMT References: <25711@cup.portal.com> <1449@krafla.rhi.hi.is> Sender: news@ccncsu.ColoState.EDU Reply-To: petersja@scarlatti.CS.ColoState.Edu.UUCP (james peterson) Organization: Colorado State University Lines: 14