Ada Resources

Ada at the LGL: Available for download

Manuals:

The GNAT User's Guide and Reference Manual are also available here. Note that these are made available primarily for our students' profit; although we do update them from time to time we do not maintain a mirror of the most recent versions of these documents. If you want to make sure that you have the very latest version of the GNAT documentation, download it from one of the usual GNAT mirror sites (try, for instance, on the "libre" software GNAT site).

There are many sources of information about Ada available from organisations and individuals throughout the world. We include a few of the primary starting places here:


Ada general:

  • Ada Power -- A very interesting Ada site, with lots of information and tutorials

Compiler:

 

Other:

  • Glossaire de Terminologie Anglais-Francais du Langage de Programmation Ada 95

Organizations:



Books:

The Ada 95 Reference Manual and Rationale are available from Springer Verlag:

  • S. Tucker Taft, Robert A. Duff (Eds.)
    Ada 95 Reference Manual: Language and Standard Libraries,
    International Standard ISO/IEC 8652:1995(E).

    Lecture Notes in Computer Science, vol 1246.
    Springer-Verlag, 1997
    ISBN 3-540-63144-5

  • John Barnes (Ed.)
    Ada 95 Rationale: The Language, The Standard Libraries.
    Lecture Notes in Computer Science, vol 1247.
    Springer-Verlag, 1997
    ISBN 3-540-63143-7

  • Christine Ausnit-Hood, Kent A. Johnson, Robert G. Pettit, Steven B. Opdahl (Eds.)
    Ada 95 Quality and Style
    Lecture Notes in Computer Science, vol 1344.
    Springer-Verlag, 1997
    ISBN 3-540-63823-7

Special rates for bulk purchases are available directly from Springer: orders@springer.de or orders@springer-ny.com

Books that might be of interest to french speaking people:



EPFL | IC | LGL | Teaching
URL: http://lgl.epfl.ch/ada/
Last modified 13/09/2004, Webmaster.