Ada Standards
Ada 2012 Standards and Documents
The documents on this page describe the 2012 revision to the Ada Standard, usually known as Ada 2012. The revisions were produced by the ISO/IEC JTC 1/SC 22/WG 9 Ada Rapporteur Group (ARG), and have been published as the International Standard ISO/IEC 8652:2012(E). This document is often known as the Ada Reference Manual. The versions found here include the corrections of Technical Corrigendum 1 (ISO/IEC 8652:2012/Cor 1:2016). Related documents are also found on this page.
The original version of the 2012 revision, without the corrections of Technical Corrigendum 1, can be found at the bottom of this page.
Earlier versions of the Ada Standard, including the (now replaced) Ada 2005 consolidated standard, can be found here.
For an introduction to the differences between earlier versions of Ada and Ada 2012, see the Rationale for Ada 2012. This is an unofficial document sponsored in part by the ARA. The Rationale gives an overview of the changes and additions in Ada 2012, and gives examples of their use.
Consolidated Ada 2012 Language Reference Manual (LRM)
The consolidated Ada Reference Manual, consisting of the International Standard (ISO/IEC 8652:2012): Information Technology — Programming Languages — Ada, as updated by changes from Technical Corrigendum 1 (ISO/IEC 8652:2012/Cor 1:2016).The Consolidated Ada 2012 RM can be browsed online.
Also available for download as:
- Adobe Acrobat (.pdf) with changes highlighted [3447K]
- Adobe Acrobat (.pdf) with change bars only [3406K]
- Adobe Acrobat (.pdf) without change bars [3382K]
- Zip of HTML files [1696K] (without Ada-Auth.org navigation headers)
- Zip of text files [633K]
The Consolidated Ada 2012 Reference Manual has been converted to EMACS Info format by Stephen Leake. That version can be downloaded from his site.
Rationale for Ada 2012
The Rationale provides an overview of Ada 2012 features, examples of their use, compilatibility with Ada 95 and 2005, and more. It was written by John Barnes, and was sponsored in part by the Ada Resource Association. It is available in HTML and PDF formats at www.ada-auth.org. An update describing the changes of Technical Corrigendum 1 is also found on the above page.
Consolidated Annotated Ada 2012 Language Reference Manual (AARM)
Intended primarily for compiler writers, conformance test writers, and others who wish to study the fine details, the AARM contains all of the text of and various annotations on the Ada 2012 LRM. This consolidated edition includes the all of the changes in the 3rd Edition of the Ada Reference Manual, and from Technical Corrigendum 1, as well as new and revised annotations. The Consolidated Ada 2012 AARM can be browsed online.
Also available for download as:
- Adobe Acrobat (.pdf) with changes highlighted [5404K]
- Adobe Acrobat (.pdf) without change markings [5289K]
- Zip of HTML files [2612K] (without Ada-Auth.org navigation headers)
- Zip of text files [1173K]
The Consolidated Annotated Ada 2012 Reference Manual has been converted to EMACS Info format by Stephen Leake. That version can be downloaded from his site.
Additional Documents
Additional documents and tools are available at www.ada-auth.org, including the tools used to create the Standards.
Original Ada 2012 Language Reference Manual (LRM)
The 2012 Edition of the Ada Reference Manual, corresponding to the International Standard (ISO/IEC 8652:2012(E)). (Differences from the International Standard are outlined in the Introduction.) For most purposes, the consolidated edition (see above) which includes the corrections of Technical Corrigendum 1 is preferred. The Ada 2012 RM can be browsed online.
Also available for download as:
- Adobe Acrobat (.pdf) with changes highlighted [4054K]
- Adobe Acrobat (.pdf) with change bars only [3410K]
- Adobe Acrobat (.pdf) without change bars [3316K]
- Zip of HTML files [1653K]
- Zip of text files [622K]
Print copies of the Ada 2012 Reference Manual have been published by Springer. See the article Accessing the Ada Language Reference Manuals for details.
The Ada 2012 Reference Manual has been converted to EMACS Info format by Stephen Leake. That version can be downloaded from his site.
Original Annotated Ada 2012 Language Reference Manual (AARM)
Intended primarily for compiler writers, conformance 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. This 2012 edition includes the all of the changes in the 3rd Edition of the Ada Reference Manual as well as new and revised annotations. For most purposes, the consolidated edition (see above) which includes the corrections of Technical Corrigendum 1 is preferred. The Ada 2012 AARM can be browsed online.
Also available for download as:
- Adobe Acrobat (.pdf) with changes highlighted [6285K]
- Adobe Acrobat (.pdf) without change markings [5083K]
- Zip of HTML files [2660K]
- Zip of text files [1130K]
The Annotated Ada 2012 Reference Manual has been converted to EMACS Info format by Stephen Leake. That version can be downloaded from his site.
