Article View: comp.ai
Article #1221Re: Reasons why you don't prove your programs are correct
From: Mark William Hopkins
Date: Thu, 18 Jan 1990 16:17
Date: Thu, 18 Jan 1990 16:17
10 lines
1051 bytes
1051 bytes
On program provability: >I am among the skeptical regarding Hopkins' claims. If he has what he >says, this represents a dramatic improvement in the state of software >engineering... Forgive me for saying so, but throughout this whole debate, I've expressed extreme skepticism of THIS claim. Surely software engineering is still not living in the dark ages! Are you implying that what I've made reference above to something completely novel?
Technical Details
Message-ID:
<1958@uwm.edu>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!uwm.edu!csd4.csd.uwm.edu!markhReferences:
<16479@joshua.athertn.Atherton.COM> <1455@krafla.rhi.hi.is> <16665@joshua.athertn.Atherton.COM> <10289@microsoft.UUCP> <1928@uwm.edu> <11810@cs.yale.edu>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!uwm.edu!csd4.csd.uwm.edu!markh From: markh@csd4.csd.uwm.edu (Mark William Hopkins) Newsgroups: comp.ai Subject: Re: Reasons why you don't prove your programs are correct Message-ID: <1958@uwm.edu> Date: 18 Jan 90 16:17:26 GMT References: <16479@joshua.athertn.Atherton.COM> <1455@krafla.rhi.hi.is> <16665@joshua.athertn.Atherton.COM> <10289@microsoft.UUCP> <1928@uwm.edu> <11810@cs.yale.edu> Sender: news@uwm.edu Reply-To: markh@csd4.csd.uwm.edu (Mark William Hopkins) Organization: University of Wisconsin-Milwaukee Lines: 10