From: "Vladimir Olensky" <vladimir_olensky@yahoo.com>
Subject: Re: Ada safety road Was: Which is right ...
Date: 1999/06/11
Date: 1999-06-11T00:00:00+00:00 [thread overview]
Message-ID: <929128919.557.95@news.remarQ.com> (raw)
In-Reply-To: 7jo1d2$kno$1@pegasus.csx.cam.ac.uk
Markus Kuhn wrote in message <7jo1d2$kno$1@pegasus.csx.cam.ac.uk>...
>Peter Amey <pna@praxis-cs.co.uk> writes:
>|> There certainly has been some work in this area. At a pragmatic level
>|> there is the Ada HRG which has produced (under auspices of ISO) a
>|> guidance document on the use of Ada in high-intergrity systems. The
>|> document identifies language features and combinations of features which
>|> are most likely to complicate reasoning about the behaviour of Ada
>|> programs; clearly this includes behaviour which might be erroneous.
>
>This document is freely available from
>
> http://www.dkuug.dk/JTC1/SC22/WG9/n359.pdf
>
I looked through it and found it very useful.
I was talking exactly about such kind of document (may be more comprehensive
though).
What is interesting it was published only 30 days ago (99-05-11).
It itself contains a lot of useful references.
What is good that it is an official Ada ISO document.
This document (and it's home) should be referenced from each Ada related
site.
Regards,
Vladimir Olensky
next prev parent reply other threads:[~1999-06-11 0:00 UTC|newest]
Thread overview: 57+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-05-30 0:00 Which is right here - GNAT or OA ? Vladimir Olensky
1999-05-30 0:00 ` Florian Weimer
1999-05-31 0:00 ` Vladimir Olensky
1999-05-31 0:00 ` Robert Dewar
1999-06-05 0:00 ` Vladimir Olensky
1999-06-05 0:00 ` Vladimir Olensky
1999-06-05 0:00 ` Robert Dewar
1999-06-07 0:00 ` Ada safety road Was: Which is right Vladimir Olensky
1999-06-06 0:00 ` Robert Dewar
1999-06-07 0:00 ` Pascal F. Martin
1999-06-07 0:00 ` Vladimir Olensky
1999-06-08 0:00 ` Robert A Duff
1999-06-06 0:00 ` Larry Kilgallen
1999-06-07 0:00 ` Keith Thompson
1999-06-07 0:00 ` Hyman Rosen
1999-06-08 0:00 ` Robert A Duff
1999-06-08 0:00 ` Keith Thompson
1999-06-09 0:00 ` dennison
1999-06-09 0:00 ` Entamology of "Nasal Demons" dennison
1999-06-09 0:00 ` Ada safety road Was: Which is right Robert Dewar
1999-06-09 0:00 ` Tucker Taft
1999-06-09 0:00 ` Robert Dewar
1999-06-08 0:00 ` Robert Dewar
1999-06-09 0:00 ` dennison
1999-06-08 0:00 ` Robert A Duff
1999-06-08 0:00 ` Robert Dewar
1999-06-07 0:00 ` Keith Thompson
1999-06-08 0:00 ` Robert A Duff
1999-06-14 0:00 ` Ada safety road Franco Mazzanti
1999-06-15 0:00 ` Franco Mazzanti
1999-06-16 0:00 ` Vladimir Olensky
1999-06-10 0:00 ` Ada safety road Was: Which is right Peter Amey
1999-06-10 0:00 ` Markus Kuhn
1999-06-11 0:00 ` Vladimir Olensky [this message]
1999-06-12 0:00 ` Robert Dewar
1999-06-12 0:00 ` JP Thornley
1999-06-13 0:00 ` Vladimir Olensky
1999-06-16 0:00 ` William Dale
1999-06-19 0:00 ` JP Thornley
1999-06-21 0:00 ` Robert A Duff
1999-06-13 0:00 ` Vladimir Olensky
1999-06-12 0:00 ` Matthew Heaney
1999-06-13 0:00 ` Vladimir Olensky
1999-06-13 0:00 ` Robert Dewar
1999-06-13 0:00 ` Vladimir Olensky
1999-06-13 0:00 ` Robert Dewar
1999-06-13 0:00 ` swhalen
1999-06-13 0:00 ` Vladimir Olensky
1999-06-05 0:00 ` Which is right here - GNAT or OA ? Florian Weimer
1999-06-01 0:00 ` Tucker Taft
1999-05-30 0:00 ` Robert Dewar
1999-05-31 0:00 ` Vladimir Olensky
1999-05-31 0:00 ` Robert Dewar
1999-06-01 0:00 ` dennison
1999-05-31 0:00 ` David Botton
1999-06-01 0:00 ` dennison
1999-06-03 0:00 ` Matthew Heaney
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox