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,8623fab5750cd6aa
X-Google-Attributes: gid103376,public
Path: 
 g2news1.google.com!news2.google.com!newsfeed2.dallas1.level3.net!news.level3.com!news.illinois.net!attcg1!ip.att.net!news.binc.net!kilgallen
From: Kilgallen@SpamCop.net (Larry Kilgallen)
Newsgroups: comp.lang.ada
Subject: Re: Improving Ada's image - Was: 7E7 Flight Controls Electronics
Date: 14 Jun 2004 07:20:12 -0600
Organization: LJK Software
Message-ID: <Vsou2Q6z$dA3@eisner.encompasserve.org>
References: <40b9c99e$0$268$edfadb0f@dread16.news.tele.dk>
 <ubrk5lwoo.fsf@obry.org> <uvfhuc1n3.fsf@xsol.com>
NNTP-Posting-Host: eisner.encompasserve.org
X-Trace: grandcanyon.binc.net 1087215595 23443 192.135.80.34 (14 Jun 2004
 12:19:55 GMT)
X-Complaints-To: abuse@binc.net
NNTP-Posting-Date: Mon, 14 Jun 2004 12:19:55 +0000 (UTC)
Xref: g2news1.google.com comp.lang.ada:1466
Date: 2004-06-14T07:20:12-06:00
List-Id: <comp.lang.ada>

In article <uvfhuc1n3.fsf@xsol.com>, Berend de Boer <berend@xsol.com> writes:
>>>>>> "Marin" == Marin David Condic <nobody@noplace.com> writes:
> 
>     Marin> But you *can* write a perfectly secure, reliable system in
>     Marin> languages other than Ada. Maybe (maybe!) it requires more
>     Marin> work, but it *can* be done.
> 
> So far the real world has not produced a reliable secure OS in C. Can
> it be done? I doubt it.

The claim quoted above did not specify C.  It has been done in PL/I.