Ada 2012 Language Reference Manual
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. Related documents are also found on this page.
Notes: For most purposes, the consolidated Ada 2012 Reference Manual (see below),
that includes the corrections of Technical Corrigendum 1, should be used rather
than these documents. 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 Ada 2012 consolidated standard (that is, with the
corrections of Technical Corrigendum 1) is available
here.
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.]
- Ada 2012 Language Reference Manual (LRM)
The revised Ada Reference Manual, corresponding to the International Standard (ISO/IEC 8652:2012(E)).
Also available for download as:
Stephen Leake has created a version in Emacs info format; find it on his site.
- Ada 2012 Rationale
The Rationale provides an overview of new Ada 2012 features, examples of their use,
compatibility with Ada 95 and 2005, and more. It was written by John Barnes, and was
sponsored in part by the Ada Resource Association.
The Rationale is available on-line
in HTML and PDF formats.
- 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.
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.