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.3 required=5.0 tests=BAYES_00,INVALID_MSGID,
	MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,74b55538385b7366
X-Google-Attributes: gid103376,public
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: Ada safety road Was: Which is right ...
Date: 1999/06/12
Message-ID: <7jsdkf$v3p$1@nnrp1.deja.com>#1/1
X-Deja-AN: 488613051
References: <928083159.436.79@news.remarQ.com>
 <m33e0el4vr.fsf@deneb.cygnus.stuttgart.netsurf.de>
 <928174549.336.98@news.remarQ.com> <7iuqkc$ln6$1@nnrp1.deja.com>
 <928529202.956.79@news.remarQ.com> <928569312.951.42@news.remarQ.com>
 <7jb1l9$694$1@nnrp1.deja.com> <928703068.617.98@news.remarQ.com>
 <375F6F0B.AD735B5B@praxis-cs.co.uk> <7jo1d2$kno$1@pegasus.csx.cam.ac.uk>
 <929128919.557.95@news.remarQ.com>
X-Http-Proxy: 1.0 x28.deja.com:80 (Squid/1.1.22) for client 205.232.38.14
Organization: Deja.com - Share what you know. Learn what you don't.
X-Article-Creation-Date: Sat Jun 12 01:37:20 1999 GMT
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.04 [en] (OS/2; I)
Date: 1999-06-12T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <929128919.557.95@news.remarQ.com>,
  "Vladimir Olensky" <vladimir_olensky@yahoo.com> wrote:
> I was talking exactly about such kind of document (may be more
> comprehensive though).

I am really not sure how this document could be more
comprehensive. Perhaps you miss the point, which is that
it is VERY specifically aimed at safety critical programming
in Ada, and is not for a moment a general style document.

In fact safety-critical programming is a rather specialized
area, so although I agree this document is very valuable,
I am not quite sure I share your view of its universal
applicability!



Sent via Deja.com http://www.deja.com/
Share what you know. Learn what you don't.