This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: [WWW] Updating GCC Links and Selected Readings
- From: Gerald Pfeifer <gerald at pfeifer dot com>
- To: Santiago Urueña Pascual <suruena at gmail dot com>
- Cc: Geert Bosch <bosch at gnat dot com>, Robert Dewar <dewar at gnat dot com>, Arnaud Charlet <charlet at act-europe dot fr>, GCC mailing list <gcc at gcc dot gnu dot org>
- Date: Sun, 20 Jul 2008 10:03:13 +0200 (CEST)
- Subject: Re: [WWW] Updating GCC Links and Selected Readings
- References: <1df0a0c40807150953g4cbbf421i30c8ac581f502677@mail.gmail.com>
Thanks for taking the time to update this, Santiago!
Let me ask our Ada maintainers to have a look as well, since this is not
exactly my area of expertise. Geert/Robert/Arnaud, I'll be happy to apply
that patch and make some tweaks based on your review.
Gerald
On Tue, 15 Jul 2008, Santiago Urueña Pascual wrote:
> Hi, I've noticed that the Ada section of the following web page is
> somewhat outdated:
>
> http://gcc.gnu.org/readings.html
>
> For example, Ada Core Technologies is now named AdaCore, and there is
> much more recent version of the book describing the internals of the
> run-time by the same author (also describing the compiler internals).
> I also propose adding the following list of links to the Ada
> standandards and other useful documents for compiler writers.
>
> Cheers,
>
>
> --- readings.html.orig 2008-07-15 18:11:53.000000000 +0200
> +++ readings.html.new 2008-07-15 18:45:43.000000000 +0200
> @@ -545,11 +545,65 @@
> <h3>Ada information</h3>
>
> <ul>
> - <li><a href="http://www.adacore.com/home/">Ada Core Technologies</a></li>
> - <li><a href="http://www.iuma.ulpgc.es/users/jmiranda/">A Detailed
> - Description of the GNU Ada Run Time</a></li>
> - <li><a href="ftp://ftp.cs.nyu.edu/pub/gnat/">GNAT sources and
> - binaries</a></li>
> +
> + <li>Ada standards information:</li>
> +
> + <ul>
> + <li><a href="http://www.open-std.org/jtc1/sc22/wg9/">WG9 (Ada
> + standards committee):</a></li>
> + <ul>
> + <li><a href="http://www.ada-auth.org/ais.html">Ada Issues</a></li>
> + </ul>
> + <li><a href="http://www.adaic.com/standards">List of Ada standards (Ada
> + Information Clearinghouse):</a></li>
> + <ul>
> + <li><a href="http://www.adaic.com/standards/05aarm/html/AA-TTL.html">
> + Annotated Ada 2005 Reference Manual</a></li>
> + <li><a href="http://www.adaic.com/standards/05rm/html/RM-TTL.html">
> + Ada 2005 Reference Manual</a></li>
> + <li><a href="http://www.adaic.com/standards/05rat/html/Rat-TTL.html">
> + Ada 2005 Rationale</a></li>
> + <li><a href="http://www.adaic.com/standards/95aarm/html/AA-TTL.html">
> + Annotated Ada 95 Reference Manual</a></li>
> + <li><a href="http://www.adaic.com/standards/95lrm/html/RM-TTL.html">
> + Ada 95 Reference Manual</a></li>
> + <li><a href="http://www.adaic.com/standards/95rat/RAThtml/rat95-copyright.html">
> + Ada 95 Rationale</a></li>
> + <li><a href="http://archive.adaic.com/standards/83lrm/html/ada_lrm.html">
> + Ada 83 Reference Manual</a></li>
> + <li><a href="http://archive.adaic.com/standards/83rat/html/Welcome.html">
> + Ada 83 Rationale</a></li>
> + </ul>
> + </ul>
> +
> + <li>Related standards:</li>
> +
> + <ul>
> + <li><a href="http://www.sigada.org/WG/asiswg/">Ada Semantic Interface
> + Specification (ASIS)</a></li>
> + </ul>
> +
> + <li>Compiler validation:</li>
> +
> + <ul>
> + <li><a href="http://www.ada-auth.org/acats.html">Ada Conformity Assessment
> + Test Suite (ACATS)</a></li>
> + </ul>
> +
> + <li>Other resources:</li>
> + <ul>
> + <li><a href="http://www.adacore.com/">AdaCore</a></li>
> + <li><a href="https://libre.adacore.com/">AdaCore —
> Libre Site</a></li>
> + <li><a
> href="https://www2.adacore.com/gap-static/GNAT_Book/html/">GNAT:
> + The GNU Ada Compiler</a></li>
> + <li><a href="http://www.adaic.org/docs/95style/html/cover.html">Ada
> + Quality & Style Guide</a></li>
> + <li><a href="http://polaris.dit.upm.es/~ork/documents/adahis.pdf">Guide
> for
> + the use of the Ada programming language in high integrity
> systems</a></li>
> + <li><a href="http://www.sigada.org/ada_letters/jun2004/ravenscar_article.pdf">Guide
> + for the use of the Ada Ravenscar Profile in high integrity
> systems</a></li>
> + </ul>
> +
> </ul>
>
>
--
Gerald (Jerry) Pfeifer gerald@pfeifer.com http://www.pfeifer.com/gerald/