This document specifies the form and meaning of programs written in Ada. Its purpose is to promote the portability of Ada programs to a variety of computing systems.

This document specifies:
— The form of a program written in Ada;
— The effect of translating and executing such a program;
— The manner in which program units can be combined to form Ada programs;
— The language-defined library units that a conforming implementation is required to supply;
— The permissible variations in conformance to the rules of this document, and the manner in which they are to be documented;
— Those violations of the requirements of this document that a conforming implementation is required to detect, and the effect of attempting to translate or execute a program containing such violations;
— Those violations of the requirements of this document that a conforming implementation is not required to detect.