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!news1.google.com!newsfeed.stanford.edu!canoe.uoregon.edu!arclight.uoregon.edu!enews.sgi.com!news.xtra.co.nz!53ab2750!not-for-mail Newsgroups: comp.lang.ada Subject: Re: Improving Ada's image - Was: 7E7 Flight Controls Electronics References: <40b9c99e$0$268$edfadb0f@dread16.news.tele.dk> <40ba315a$0$254$edfadb0f@dread16.news.tele.dk> <04udnR-eHNChzSbdRVn-vw@gbronline.com> <7J0xc.7371$8k4.269106@news20.bellglobal.com> <1086630278.542788@master.nyc.kbcfp.com> <8xlxc.27603$sS2.845496@news20.bellglobal.com> <1086715817.122983@master.nyc.kbcfp.com> <1086733411.736049@master.nyc.kbcfp.com> <3Auxc.11998$XY6.1296622@read2.cgocable.net> <40C85035.4020706@noplace.com> <40C9EC3B.60304@noplace.com> From: Berend de Boer Message-ID: User-Agent: Gnus/5.1002 (Gnus v5.10.2) Emacs/21.2 (windows-nt) Cancel-Lock: sha1:XgnNH+NAnQjcJY6qtDrVobnXZpA= MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Date: Mon, 14 Jun 2004 14:30:08 +1200 NNTP-Posting-Host: 219.89.117.159 X-Complaints-To: newsadmin@xtra.co.nz X-Trace: news.xtra.co.nz 1087180208 219.89.117.159 (Mon, 14 Jun 2004 14:30:08 NZST) NNTP-Posting-Date: Mon, 14 Jun 2004 14:30:08 NZST Organization: Xtra Xref: g2news1.google.com comp.lang.ada:1457 Date: 2004-06-14T14:30:08+12:00 List-Id: >>>>> "Marin" == Marin David Condic 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. -- Regards, Berend. (-: