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-7-bit
Path: 
 g2news2.google.com!news2.google.com!goblin1!goblin2!goblin.stu.neva.ru!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 16:59:17 +0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <is36p5$dji$1@dont-email.me>
References: <irrgb6$vib$1@speranza.aioe.org>
 <87vcwu62p6.fsf@ludovic-brenta.org>
Injection-Date: Tue, 31 May 2011 16:59:17 +0000 (UTC)
Injection-Info: mx04.eternal-september.org;
 posting-host="4pjzwDT2MPp9AkNxUo/C4Q";
	logging-data="13938"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19A+NE28Ev4OW42L6YihQKYjh1OzkoqapA="
User-Agent: slrn/0.9.8.1 (VMS/Multinet)
Cancel-Lock: sha1:4CxFYJoHn9DVg4IYTFdAvDUShgI=
Xref: g2news2.google.com comp.lang.ada:20565
Date: 2011-05-31T16:59:17+00:00
List-Id: <comp.lang.ada>

On 2011-05-28, Ludovic Brenta <ludovic@ludovic-brenta.org> 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.
>
> [2] http://www.ada-europe.org/journal.html
>

The most recent volume on that website is Volume 32, No 1, dated March 2011.

Are you saying that these annexes are due for publication later this year,
or is the above volume number incorrect ?

Thanks,

Simon.

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