Consolidated Ada 2012 Language Reference Manual
The documents on this page consolidate Ada Standard (published as
International Standard ISO/IEC 8652:2012) and the 2016 corrections of Technical
Corrigendum 1 (published as ISO/IEC 8652:2012/Cor 1:2016). The revisions
and corrections were produced by the ISO/IEC JTC 1/SC 22/WG 9 Ada Rapporteur Group
(ARG). This document is often known as the Ada Reference Manual. Related
documents are also found on this page. These documents are not an official
publication or work product of the ARG, but rather are provided as a service
to the Ada community.
The original Ada 2012 standard can be found
here. A nearly final
draft of the Technical Corrigendum can be found
here;
this is just a list of changes and is not very useful by itself. The (now replaced)
Ada 2005 consolidated standard is
available
here.
Send editorial comments on the documents to
agent@ada-auth.org. Editorial comments are
those that do not change the meaning of the text, such a spelling errors, doubled
words, etc. [Note: Please restrict comments on paragraph and page layout to the
contents of the RM-Final.PDF file.]
- Consolidated Ada 2012 Language Reference Manual (LRM)
The consolidated Ada Reference Manual, consisting of the Ada 2012
Ada Reference Manual (corresponding to the International Standard - ISO/IEC 8652:2012(E)),
as updated by the 2016 corrections (corresponding to Technical Corrigendum 1 - ISO/IEC 8652:2012/Cor 1:2016).
Also available for download as:
Stephen Leake has created a version in Emacs info format; find it on his site.
- Rationale Update for Ada 2012
The update (or "Ratlet" as it was known during its construction) provides an overview of the changes to
Ada 2012 introduced by Corrigendum, examples of their use, and more. It was written by John Barnes, and was
sponsored in part by the Ada Resource Association.
The update is available on-line
in HTML and PDF formats.
- 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 the 2016 corrections, as well as new
and revised annotations.
Also available for download as:
Stephen Leake has created a version in Emacs info format; find it on his site.
- Ada Reference Manual Source Files
The source files used to create the Ada Reference Manual are available
here. These should be of interest only to editors of the ARM. These files
are used as input to the formatting tool (available below),
and are in a Scribe-like language.
- Ada
Reference Manual Formatting Tool
The Ada Reference Manual Formatting Tool converts the ARM source files
into formatted text in commonly used formats, including HTML and RTF. The
tool is written in Ada 95, and is available in source form under the GPL v3
license.