Online Ada 2005 documentation

• for the Reference Manual in .pdf, click here.
• for downloading a .zip-File of .html files for local RM browsing, click here.
• for the starting page to browse the RM online, click here.
  
• for the Rationale of Ada 2005 by John Barnes, click here.
  

Users and Educators

•  Where is Ada used in Industry ?  -- overviews and links to projects
•  Ada success stories from non-defense applications  -- some selected applications
•  Universities and colleges teaching Ada as first or secondary language 

Organisations

• Ada-Europe -- the organization of European Ada societies 
• ISO/IEC JTC1/SC22/WG9 (Ada) -- the ISO home of Ada Standards 
• SIGAda -- the Special Interest Group of ACM 
• Ada Semantics Interface Specification (ASIS) Working Group 
• AdaIC -- the new Ada Information Clearinghouse 

Hypertext documentation for Ada 95 and Ada 83

• Ada 95 Reference Manual 
• Ada 95 Rationale 
• Ada 95 Quality and Style: Guidelines for Professional Programmers 
• Lovelace -- an Ada95 tutorial 
• Ada83 Reference Manual 

Ada reference cards

• Ada95 Syntax Card   (PostScript) 
• Ada95 Reference Card   (PostScript) 

Ada Compilers: suppliers and documentation

• AdaCore - maintainers of the GNAT compiler 
• GNAT User's Guide 
• GNAT Reference Manual 
• Aonix -- the company selling ObjectAda 
• Aonix -- the German site of Aonix 
• DDC-I -- Ada compilers for real-time embedded applications 
• Green Hills Software Inc. -- Ada compilers and RTOS 
• Irvine Compiler Corp. 
• Rational Software Corporation -- the company selling Apex

(compiler and programming environment for Ada83 and Ada95) 
• List of Validated Ada 95 Compilers 

Reusable Ada Software

• Ada Home -- was perhaps the most complete WWW Server for Ada; presently not maintained 
• Ada Power -- a compendium of useful bindings, small and big tools, and other useful thing  
• AdaBasis -- a repository of (mostly) free Ada Software, based on the PAL  
• Ada Server Lausanne (EPFL) -- LGL Ada Component Library, GLADE Filter Add-Ons, Ada 95 Pretty Printer based on ASIS 

Software companies and products

• Esterel Technologies-- Correct-by-construction design tools  
• RainCode -- Reverse Engineering of legacy code 
• TNI Europe Ltd. -- HOOD-related tools 

Ada resources lists elsewhere

• Ada World -- a new Ada related website 
• Ada Server Lausanne (EPFL) -- similar to our page 
• Ada sur le web -- catalog of Ada resources (in French) 

See also the web pages of the national Ada organizations for Ada-related links!

The Ada Reference Manuals, Rationales and Quality & Style are available from Springer Verlag:

• S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy (Eds.)
Ada 2005 Reference Manual: Language and Standard Libraries,
International Standard ISO/IEC 8652:1995(E) with Technical
Corrigendum 1 and Amendment 1
Lecture Notes in Computer Science, vol. 4348
Springer Verlag, 2006
ISBN-10 3-540-69335-1
ISBN-13 978-3-540-69335-2
Order from New York
Order from Berlin
 
• S. Tucker Taft, Robert A. Duff, Randall L. Brukhardt, Erhard Ploedereder (Eds.):
Consolidated Ada Reference Manual: Language and Standard Libraries
International Standard ISO/IEC 8652:1995(E) with Technical Corrigendum 1
Lecture Notes in Computer Science, vol. 2219
Springer-Verlag, 2001
ISBN 3-540-43038-5
 
• 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
 
• C. Ausnit-Hood, K.A. Johnson, R.G. Pettit IV, S.B. Opdahl (Eds.):
Ada 95, Quality and Style
Guidelines for Professional Programmers
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