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,bb14f1c1986544fb
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!news3.google.com!feeder.news-service.com!feeder.erje.net!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail
From: Simon Clubley <clubley@remove_me.eisner.decus.org-Earth.UFP>
Newsgroups: comp.lang.ada
Subject: Re: Does Ada need a 'secure coding standard' as well?
Date: Tue, 31 May 2011 18:54:48 +0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <is3dhn$1uk$1@dont-email.me>
References: <irrgb6$vib$1@speranza.aioe.org>
 <87vcwu62p6.fsf@ludovic-brenta.org> <is36p5$dji$1@dont-email.me>
 <47558255-6bfc-4e98-9b6b-9ea05755a97b@y12g2000yqh.googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 31 May 2011 18:54:48 +0000 (UTC)
Injection-Info: mx04.eternal-september.org;
 posting-host="4pjzwDT2MPp9AkNxUo/C4Q";
	logging-data="2004"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19x+nYnLEGM1oMd424KKjGFRakxUzOmA88="
User-Agent: slrn/0.9.8.1 (VMS/Multinet)
Cancel-Lock: sha1:wVk8ReyTDRUbDxd0sQkAONycxac=
Xref: g2news2.google.com comp.lang.ada:20570
Date: 2011-05-31T18:54:48+00:00
List-Id: <comp.lang.ada>

On 2011-05-31, AdaMagica <christ-usch.grein@t-online.de> wrote:
>> > There are language-specifix annexes for Ada, SPARK and several other
>> > languages. �The annexes for Ada and SPARK are in the Ada User
>> > Journal[2], Volume 32, No 3 and 4 respectively.
>
> It's volume 31, but the text is not yet online, only the table of
> contents.
>

Thanks for clarifying.

Are the annexes available from any other online source ?

A quick search using the first URL only found what was classed as
historical material for Ada 83.

Thanks,

Simon.

-- 
Simon Clubley, clubley@remove_me.eisner.decus.org-Earth.UFP
Microsoft: Bringing you 1980s technology to a 21st century world