From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,a00006d3c4735d70
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2004-01-14 21:22:02 PST
Path: 
 archiver1.google.com!news2.google.com!fu-berlin.de!logbridge.uoregon.edu!newshub.sdsu.edu!elnk-nf2-pas!newsfeed.earthlink.net!attbi_feed4!attbi.com!attbi_s51.POSTED!not-for-mail
From: "Jeff C," <nolongersafeto@userealemailsniff.com>
Newsgroups: comp.lang.ada
References: <0F6Nb.1623$Tt.642@reader1.news.jippii.net>
 <mailman.4.1074093199.303.comp.lang.ada@ada-france.org>
 <bu3pmi$5c6$1@phys-news1.kolumbus.fi>
Subject: Re: Certified C compilers for safety-critical embedded systems
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2800.1158
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1165
Message-ID: <YrpNb.56903$nt4.87657@attbi_s51>
NNTP-Posting-Host: 24.34.215.119
X-Complaints-To: abuse@comcast.net
X-Trace: attbi_s51 1074144120 24.34.215.119 (Thu, 15 Jan 2004 05:22:00 GMT)
NNTP-Posting-Date: Thu, 15 Jan 2004 05:22:00 GMT
Organization: Comcast Online
Date: Thu, 15 Jan 2004 05:22:00 GMT
Xref: archiver1.google.com comp.lang.ada:4421
Date: 2004-01-15T05:22:00+00:00
List-Id: <comp.lang.ada>

I can't believe that no one has realized that the halting problem was SOLVED
several years
ago by Microsoft. If you are running on Windows you can be sure that before
too long the
machine will lock up and your program will halt.

(Ok..its not THAT bad anymore...but I could not resist)