Abstract
This Annex addresses requirements for systems that are safety critical or have security constraints. It provides facilities and specifies documentation requirements that relate to several needs:
-
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 The MITRE Corporation, Inc.
About this chapter
Cite this chapter
(2000). Annex H (normative). In: Taft, S.T., Duff, R.A., Brukardt, R.L., Ploedereder, E. (eds) Consolidated Ada Reference Manual Language and Standard Libraries. Lecture Notes in Computer Science, vol 2219. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45340-7_21
Download citation
DOI: https://doi.org/10.1007/3-540-45340-7_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43038-4
Online ISBN: 978-3-540-45340-6
eBook Packages: Springer Book Archive