From: Simon Clubley <clubley@remove_me.eisner.decus.org-Earth.UFP>
Subject: Re: Does Ada need a 'secure coding standard' as well?
Date: Tue, 31 May 2011 16:59:17 +0000 (UTC)
Date: 2011-05-31T16:59:17+00:00 [thread overview]
Message-ID: <is36p5$dji$1@dont-email.me> (raw)
In-Reply-To: 87vcwu62p6.fsf@ludovic-brenta.org
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
next prev parent reply other threads:[~2011-05-31 16:59 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-05-28 18:53 Does Ada need a 'secure coding standard' as well? Nasser M. Abbasi
2011-05-28 19:06 ` Yannick Duchêne (Hibou57)
2011-05-28 19:38 ` Nasser M. Abbasi
2011-05-28 19:45 ` Yannick Duchêne (Hibou57)
2011-05-28 19:32 ` Ludovic Brenta
2011-05-31 16:59 ` Simon Clubley [this message]
2011-05-31 17:51 ` AdaMagica
2011-05-31 18:54 ` Simon Clubley
2011-05-28 21:37 ` Simon Wright
2011-05-29 13:29 ` Mark_Ngbapai
2011-05-29 13:58 ` Simon Wright
2011-05-29 14:04 ` Yannick Duchêne (Hibou57)
2011-05-29 14:05 ` Yannick Duchêne (Hibou57)
2011-05-30 10:25 ` J-P. Rosen
2011-05-29 15:23 ` Maciej Sobczak
2011-05-29 15:53 ` Yannick Duchêne (Hibou57)
2011-05-30 10:27 ` J-P. Rosen
2011-05-29 21:03 ` Florian Weimer
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox