15 Jul 18:53
[WWW] Updating GCC Links and Selected Readings
From: Santiago Urueña Pascual <suruena <at> gmail.com>
Subject: [WWW] Updating GCC Links and Selected Readings
Newsgroups: gmane.comp.gcc.devel
Date: 2008-07-15 16:53:49 GMT
Subject: [WWW] Updating GCC Links and Selected Readings
Newsgroups: gmane.comp.gcc.devel
Date: 2008-07-15 16:53:49 GMT
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> -- -- Santiago Urueña Pascual <suruena <at> gmail.com>
RSS Feed