Abstract

Since its inception, a main objective of the Ada language has been to assist in the development of large and robust applications. In addition to that, the language also provides support for building safety-critical applications, e.g. by facilitating validation and verification of such programs. The latest revision of the language has brought some additional improvements in the safety area, such as the Normalize_Scalars pragma, which ensures an automatic initialization of the nonexplicitly initialized scalars. This paper presents Initialize Scalars, an enrichment of the Normalize_Scalars concept, and an extended mode to verify at run-time the validity of scalars, both designed for easy use in existing large applications. Their implementation in GNAT Pro (the GNU Ada 95 compiler) is discussed. The practical results obtained on a large Air Traffic Flow Management application are presented.


Original document

The different versions of the original document can be found in:

http://dx.doi.org/10.1007/3-540-48046-3_15
https://link.springer.com/chapter/10.1007/3-540-48046-3_15,
http://core.ac.uk/display/34329684,
https://dblp.uni-trier.de/db/conf/adaEurope/adaEurope2002.html#DewarHCW02,
https://www.scipedia.com/public/Dewar_et_al_2007a,
https://dl.acm.org/citation.cfm?id=697918,
https://rd.springer.com/chapter/10.1007/3-540-48046-3_15,
https://academic.microsoft.com/#/detail/1826795581
Back to Top

Document information

Published on 01/01/2007

Volume 2007, 2007
DOI: 10.1007/3-540-48046-3_15
Licence: CC BY-NC-SA license

Document Score

0

Views 0
Recommendations 0

Share this document

claim authorship

Are you one of the authors of this document?