Re: Re^2: Reasons why you don't prove your programs are correct

Article View: comp.ai

Article #8724

#8724

From: Scott Simpson
Date: Thu, 11 Jan 1990 21:51

6 lines
881 bytes

In article <548@tci.bell-atl.com> kempf@tci.bell-atl.com (Cory Kempf) writes:
>* Have you heard about the new Cray IV?  It can solve an infinate loop
>in just 7 seconds!

Yah, and it takes six halt instructions just to get it to stop!
Scott Simpson    TRW Information Networks Division    simpson@trwind.trw.com

Technical Details

Message-ID: <1539@trwind.UUCP>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!usc!trwind!saturn!simpson

References: <25711@cup.portal.com> <1449@krafla.rhi.hi.is> <1990Jan11.015531.20996@world.std.com> <548@tci.bell-atl.com>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!usc!trwind!saturn!simpson
From: simpson@saturn.ind.trw.com (Scott Simpson)
Newsgroups: comp.ai
Subject: Re: Re^2: Reasons why you don't prove your programs are correct
Message-ID: <1539@trwind.UUCP>
Date: 11 Jan 90 21:51:17 GMT
References: <25711@cup.portal.com> <1449@krafla.rhi.hi.is> <1990Jan11.015531.20996@world.std.com> <548@tci.bell-atl.com>
Sender: news@trwind.UUCP
Reply-To: simpson@trwind.trw.com (Scott Simpson)
Organization: TRW Information Networks Division, Torrance, CA
Lines: 6

Reply to Parent Message