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-Thread: 103376,703c4f68db81387d
X-Google-Thread: 109fba,703c4f68db81387d
X-Google-Thread: 115aec,703c4f68db81387d
X-Google-Thread: f43e6,703c4f68db81387d
X-Google-Attributes: gid103376,gid109fba,gid115aec,gidf43e6,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!news.glorb.com!border1.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!wns14feed!worldnet.att.net!12.120.4.37!attcg2!ip.att.net!news.binc.net!kilgallen
From: Kilgallen@SpamCop.net (Larry Kilgallen)
Newsgroups: comp.lang.ada,comp.lang.c++,comp.realtime,comp.software-eng
Subject: Re: Teaching new tricks to an old dog (C++ -->Ada)
Date: 14 Mar 2005 19:14:28 -0600
Organization: Berbee Information Networks Corporation
Message-ID: <v2WV8JnBmR6w@eisner.encompasserve.org>
References: <87is4598pm.fsf@insalien.org> <u7jkliykd.fsf@obry.org>
 <1110059861.560004@athnrd02> <422b6d49.1141887367@news.xs4all.nl>
 <1110266099.441421.179290@o13g2000cwo.googlegroups.com>
 <d0kvpd$783$1@sparta.btinternet.com>
 <1110332933.587110.260410@z14g2000cwz.googlegroups.com>
 <d0m6tk$gt8$1@titan.btinternet.com>
 <1110390097.532139.43430@f14g2000cwb.googlegroups.com>
 <422f3808$0$30165$ba620e4c@news.skynet.be>
 <1110409958.685759.249420@g14g2000cwa.googlegroups.com>
 <15SdnYvJ0_x3Vq3fRVn-3Q@megapath.net> <Organization: LJK Software
NNTP-Posting-Host: eisner.encompasserve.org
X-Trace: grandcanyon.binc.net 1110849243 29180 192.135.80.34 (15 Mar 2005
 01:14:03 GMT)
X-Complaints-To: abuse@binc.net
NNTP-Posting-Date: Tue, 15 Mar 2005 01:14:03 +0000 (UTC)
Xref: g2news1.google.com comp.lang.ada:9420 comp.lang.c++:45726
 comp.realtime:1500 comp.software-eng:5069
Date: 2005-03-14T19:14:28-06:00
List-Id: <comp.lang.ada>

In article <1110843401.905302@athnrd02>, Ioannis Vranos <ivr@remove.this.grad.com> writes:
> Robert A Duff wrote:
> 
>> Such as... ?
>> 
>> I'm still not understanding your point.  Are you referring to the fact
>> that the Java garbage collector cannot reasonably be implemented in
>> Java, and things like that?
> 
> 
> Apart from these, let's talk about Pascal for example. I do not think 
> everything in its library can be written with the language itself.

Presuming that by "Pascal" you mean something meeting the "Extended Pascal"
standard rather than the Wirth original,

not a library, but...

When DEC implemented their A1 security kernel they did so in VAX Pascal
(to support provability) and required that the whole thing be written
in Pascal rather than using a runtime library written in some other
language.

==========

They cancelled the project during Field Test when they figured out that
those in the US government who wanted to see A1 systems were entirely
different from those in the US government who actually purchase systems.

I believe, in fact, those rooting most strongly for Multilevel Security
actually run "system high" in their own shops.