Springer - [LNCS 4348] Ada 2005 Reference Manual.. Language and Standard Libraries (2006) [9783540693352].pdf

Consolidated Ada Reference Manual — 2005 Edition
The Standard Libraries
305 8 November 2006 The Standard Libraries
Consolidated Ada Reference Manual — 2005 Edition

INTERNATIONAL STANDARD ISO/IEC 8652:2007(E), Ed. 3





Information technology — Programming
Languages — Ada




Section 1: General
Ada is a programming language designed to support the construction of long-lived, highly reliable 1
software systems. The language includes facilities to define packages of related types, objects, and
operations. The packages may be parameterized and the types may be extended to support the construction
of libraries of reusable, adaptable ponents. The operations may be implemented as
subprograms using conventional sequential control structures, or as entries that include synchronization of
concurrent threads of control as part of their invocation. The language treats modularity in the physical
sense as well, with a facility to support pilation.
The language includes plete facility for the support of real-time, concurrent programming. Errors 2
can be signaled as exceptions and handled explicitly. The language also covers systems programming; this
requires precise control over the representation of data and access to system-dependent properties. Finally,
a predefined environment of standard packages is provided, including facilities for, among others, input-
output, string manipulation, numeric elementary functions, and random number generation.
Scope
This International Standard specifies the form and meaning of programs written in Ada. Its purpose is to 1
promote the portability of Ada programs to a variety of data processing systems.
Extent
This International Standard specifies: 1
• The form of a program written in Ada; 2
• The effect of translating and executing such a program; 3
• The manner in which program units may bined to form Ada programs; 4
• The language-defined library units