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=0.2 required=5.0 tests=BAYES_00,INVALID_MSGID,
	REPLYTO_WITHOUT_TO_CC 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: kilgallen@eisner.decus.org (Larry Kilgallen)
Subject: Re: Ada safety road   Was: Which is right ...
Date: 1999/06/06
Message-ID: <1999Jun6.181633.1@eisner>#1/1
X-Deja-AN: 486448102
X-Nntp-Posting-Host: eisner.decus.org
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>
X-Trace: news.decus.org 928707403 21046 KILGALLEN [216.44.122.34]
Organization: LJK Software
Reply-To: Kilgallen@eisner.decus.org.nospam
Newsgroups: comp.lang.ada
Date: 1999-06-06T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <928703068.617.98@news.remarQ.com>, "Vladimir Olensky" <vladimir_olensky@yahoo.com> writes:

> But  I see  one problem here.  All this information is scattered around  RM.

In order to be definitive, the RM should not duplicate information in
various locations, and thus cannot be in the ideal exposition format
for all purposes.

> I think that to facilitate safety programming such info should be gathered
> into one paper
> with explanations why it was not possible to overcome such situations  and
> it should contain many examples covering different aspects that leads to
> erroneous execution. There should be no indirect references ("other then
> ...."). Everything should be directly described  and should be as simple as
> possible.
> I see it as some kind of "Ada safety programming roadmap".  And of course
> such paper should be easily available online for all interested in it. So
> far I have not seen such document available online .

Perhaps it is in a published book, or in one yet to be written -- perhaps
by you.  In another area, "Concurrency in Ada" has won high praise,
even though it is a real book rather than just some ephemeral web site.

Larry Kilgallen