Dewar et al 2007a - Revision history

Scipediacontent at 15:18, 21 January 2021

2021-01-21T15:18:02Z

Scipediacontent: Scipediacontent moved page Draft Content 891336568 to Dewar et al 2007a

2020-10-14T12:49:27Z

Scipediacontent moved page Draft Content 891336568 to Dewar et al 2007a

Scipediacontent: Created page with " == 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 lan..."

2020-10-14T12:49:24Z

Created page with " == 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 lan..."

New page

== 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.

Document type: Part of book or chapter of book

== Full document ==
<pdf>Media:Draft_Content_891336568-beopen637-4764-document.pdf</pdf>

== Original document ==

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

* [http://people.cs.kuleuven.be/~dirk.craeynest/papers/ae02cfmu-paper.pdf http://people.cs.kuleuven.be/~dirk.craeynest/papers/ae02cfmu-paper.pdf]

← Older revision		Revision as of 15:18, 21 January 2021
Line 3:		Line 3:

	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.		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.
−
−	~~Document type: Part of book or chapter of book~~
−
−	~~== Full document ==~~
−	~~<pdf>Media:Draft_Content_891336568-beopen637-4764-document.pdf</pdf>~~


Line 15:		Line 10:

	* [http://people.cs.kuleuven.be/~dirk.craeynest/papers/ae02cfmu-paper.pdf http://people.cs.kuleuven.be/~dirk.craeynest/papers/ae02cfmu-paper.pdf]		* [http://people.cs.kuleuven.be/~dirk.craeynest/papers/ae02cfmu-paper.pdf http://people.cs.kuleuven.be/~dirk.craeynest/papers/ae02cfmu-paper.pdf]
		+
		+	* [http://link.springer.com/content/pdf/10.1007/3-540-48046-3_15 http://link.springer.com/content/pdf/10.1007/3-540-48046-3_15],
		+	: [http://dx.doi.org/10.1007/3-540-48046-3_15 http://dx.doi.org/10.1007/3-540-48046-3_15]
		+
		+	* [https://www.adacore.com/uploads/technical-papers/rtchecks.pdf https://www.adacore.com/uploads/technical-papers/rtchecks.pdf],
		+	: [https://link.springer.com/chapter/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 http://core.ac.uk/display/34329684],
		+	: [https://dblp.uni-trier.de/db/conf/adaEurope/adaEurope2002.html#DewarHCW02 https://dblp.uni-trier.de/db/conf/adaEurope/adaEurope2002.html#DewarHCW02],
		+	: [https://www.scipedia.com/public/Dewar_et_al_2007a https://www.scipedia.com/public/Dewar_et_al_2007a],
		+	: [https://dl.acm.org/citation.cfm?id=697918 https://dl.acm.org/citation.cfm?id=697918],
		+	: [https://rd.springer.com/chapter/10.1007/3-540-48046-3_15 https://rd.springer.com/chapter/10.1007/3-540-48046-3_15],
		+	: [https://academic.microsoft.com/#/detail/1826795581 https://academic.microsoft.com/#/detail/1826795581]

← Older revision	Revision as of 12:49, 14 October 2020
(No difference)