Annex H (normative)
Understanding program execution;
Reviewing object code;
Restricting language constructs whose usage might complicate the demonstration of program correctness
Execution understandability is supported by pragma Normalize_Scalars, and also by requirements for the implementation to document the effect of a program in the presence of a bounded error or where the language rules leave the effect unspecified.
Unable to display preview. Download preview PDF.