Accessing the Ada Language Reference Manuals
Ada 2012 Standard
The Ada Standard is found in the Ada Language Reference Manual (LRM). The most recent version of the LRM is the Ada 2012 Reference Manual. This revision of the Ada Reference Manual includes many new features and corrections, combined with the previous changes from Technical Corrigendum 1 (June 2001) and Amendment 1 (March 2007).
Also available is the Ada 2012 Rationale. This document gives an overview of Ada 2012 features, examples of their use, compatibility with Ada 95 and Ada 2005, and more. It was written by John Barnes, and was sponsored in part by the Ada Resource Association.
In addition to the LRM and Rationale, there is an annotated Ada 2012 Language Reference Manual (AARM), intended primarily for compiler writers, validation test writers, and others who wish to study the fine details, the AARM contains all of the text and various annotations in the Ada 2012 LRM.
Information on Ada 2005, Ada 95, and Ada 83 versions of the LRM are found below.
How to Access and Order the Ada 2012 LRMs
Electronic
The Ada 2012 Reference Manual and the Annotated Ada 2012 Reference Manual are available for viewing and downloading from the AdaIC’s Ada 2012 Standards web page. The Ada 2012 Rationale is available for viewing and downloading from Ada-Auth.org web page.
Ordering Print Copies
Printed copies of the Ada 2012 Reference Manual have been published by Springer. They can be ordered from booksellers, or directly from Springer.
Ada 2012 Reference Manual: Language and Standard Libraries, International Standard ISO/IEC 8652:2012(E)
ISBN 978-3-642-45418-6
Printed copies of the Ada 2012 Rationale also have been published by Springer. They also can be ordered from booksellers, or directly from Springer.
Ada 2012 Rationale – The Language – The Standard Libraries
John Barnes
ISBN 978-3-642-45209-3
Ada 2005 Standard
The Ada 2005 version of the Ada Reference Manual combines the more than 200 changes to the LRM specified in Technical Corrigendum 1 (June 2001) with the new features described by Amendment 1 to Ada (March 2007). The Ada 2005 Reference Manual integrates these changes into the text of the LRM.
Also available is the Ada 2005 Rationale. This document gives an overview of Ada 2005 features, examples of their use, compatibility with Ada 95, and more. It was written by John Barnes, and was sponsored in part by the Ada Resource Association.
In addition to the LRM and Rationale, there is an annotated Ada 2005 Language Reference Manual (AARM), intended primarily for compiler writers, validation test writers, and others who wish to study the fine details, the AARM contains all of the text and various annotations in the Ada 2005 LRM.
How to Access and Order the Ada 2005 LRMs
Electronic
The Ada 2005 Reference Manual and the Annotated Ada 2005 Reference Manual are available for viewing and downloading from the AdaIC’s Ada 2005 Standards web page. The Ada 2005 Rationale is available for viewing and downloading from the AdaIC’s Ada 2005 Rationale web page.
Ordering Print Copies
Printed copies of the Ada 2005 Reference Manual have been published by Springer. They can be ordered from booksellers, or directly from Springer.
Ada 2005 Reference Manual: Language and Standard Libraries, International Standard ISO/IEC 8652:1995(E) with Technical Corrigendum 1 and Amendment 1
ISBN-10 3-540-69335-1
ISBN-13 978-3-540-69335-2
Ada 95 Standard
The Ada 95 Standard is found in the Ada 95 Language Reference Manual (LRM), accompanied by the Rationale. These two volumes provide an introduction to and background information for each feature of the Ada programming language. They provide an overview of the design team’s goals, a summary of the language, and changes made to the 1983 version of the standard.
The most recent version of the LRM is the Consolidated Ada Reference Manual. The Consolidated Ada Reference Manual includes the more than 200 changes, corrections, and clarifications to the LRM specified in Technical Corrigendum 1 (June 2001). Technical Corrigendum 1 specifies the individual changes to the standard; the Consolidated Ada Reference Manual integrates these changes into the text of the LRM.
In addition to the LRM and Rationale, there is an annotated Ada 95 Language Reference Manual (AARM), intended primarily for compiler writers, validation test writers, and others who wish to study the fine details, the AARM contains all of the text and various annotations in the Ada 95 LRM.
How to Access and Order the Ada 95 LRMs
Electronic
Language Reference Manuals and Rationales for both the 1983 and 1995 versions of Ada, as well as the Annotated Language Reference Manual for Ada 95, are available for viewing and downloading from the AdaIC’s Ada Standards Web page.
Below is a breakdown of links to the LRM, Rationale, and AARM:
| Document | HTML | ASCII Text |
.ZIP | .tar | |
|---|---|---|---|---|---|
| Consolidated Ada 95 LRM | .html | See .zip or .tar | .zip for .txt .zip for .html |
.tar for .txt .tar for .html | |
| Ada 95 Rationale | .html | See .zip or .tar | .zip for .txt .zip for .html |
.tar for .html | |
| Ada 95 AARM | .html | See .zip or .tar | .zip for .txt .zip for .html |
.tar for .txt .tar for .html | |
| Original Ada 95 LRM | See .zip | .txt | .zip for .txt .zip for .html |
Electronic copies of the manuals and Rationale are also available on the two disk CD-ROM set from Walnut Creek CD-ROM. Please contact the company for details:
Walnut Creek CD-ROM
Suite 260, 1547 Palos Verdes Mall
Walnut Creek, CA 94596
Phone: 510/674-0783; Fax: 510/674-0821
Email: info@cdrom.com
Ordering Print Copies
Printed copies of the Consolidated Ada Reference Manual, the original Ada 95 Reference Manual, and the Ada 95 Rationale are available from Springer-Verlag in the US and in Germany.
Consolidated Ada Reference Manual: Language and Standard Libraries, International Standard ISO/IEC 8652:1995(E) with Technical Corrigendum 1
ISBN 3-540-43038-5
The Ada 95 Rationale: The Language, The Standard Libraries, vol 1247
ISBN 3-540-63143-7
The Ada 95 Reference Manual: Language and Standard Libraries, International Standard ISO/IEC 8652:1995(E)
ISBN 3-540-63144-5
| In the U.S. | In Germany |
|---|---|
|
Springer-Verlag New York, Inc. 175 Fifth Avenue New York, NY 10010 Phone: 1-800-SPRINGER (1-800-777-4643) FAX: 212-473-6272 Order FAX: 201-348-4505 E-Mail: service@springer-ny.com |
Springer-Verlag Berlin Heidelberger Platz 3 D-14197 Berlin Germany Phone: x-49-30-82787-0 |
In addition, hard copies of the original LRM, Rationale, and AARM are available from the Defense Technical Information Center (DTIC), serving military, other Federal government, and defense contractors who are registered users of DTIC, from the National Technical Information Service (NTIS), serving the general public.
You must specify the accession number when ordering from either DTIC or NTIS:
| Title | Document Number |
DTIC | NTIS |
|---|---|---|---|
| Ada 95 LRM | AD A293760 | $41 | $104 |
| Ada 95 Rationale | AD A293708 | $41 | $87 |
| Ada 95 AARM | AD A293867 | $92 | $133 |
Point of contact information for DTIC and NTIS is as follows:
|
Defense Technical Information Center (DTIC) 8725 John J. Kingman Road, Suite 0944 Fort Belvoir, VA 22060-6218 Phone: 703/767-8274 DSN: 427-8274 E-mail: msorders@dtic.mil |
National Technical Information Service (NTIS) 5285 Port Royal Road Springfield, VA 22161 Phone: 703/487-4650 E-mail: orders@ntis.fedworld.gov |
Ada 83 Standard
The Ada 83 Standard is found in the Ada 83 Language Reference Manual (LRM), also accompanied by a Rationale. These two volumes provide an overview of the design team’s goals and address each feature of the language.
Electronic
| Document | HTML | .ZIP |
|---|---|---|
| Ada 83 LRM | .html | .zip |
| Ada 83 Rationale | .html | .zip |
Ordering Print Copies
Hardcopies of the Ada 83 LRM can be obtained from the U.S. Government Printing Office at a cost of $26 per copy; all orders must be prepaid. You must specify the stock number, 008-000-00394-7, when ordering. The title is the ANSI/MIL-STD-1815A-1983 Reference Manual for Ada Programming Language. Address all correspondence to:
Superintendent of Documents
Government Printing Office
Washington, DC 20402-9325
