Path: 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

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