Exposing uninitialized variables: Strengthening and extending run-time checks in Ada

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2361, Issue , 2002, Pages 193-204

  Dewar, Robert ^a   Hainque, Olivier ^b   Craeynest, Dirk ^c   Waroquiers, Philippe ^c  

^a Ada Core Technologies   (United States)

^b ACT Europe   (France)

^c EUROCONTROL   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

AIR TRAFFIC CONTROL; APPLICATION PROGRAMS; OPEN SOURCE SOFTWARE;

AIR TRAFFIC FLOW MANAGEMENT; AUTOMATIC INITIALIZATION; ROBUST APPLICATION; RUN-TIME CHECKS; RUNTIMES; SAFETY CRITICAL APPLICATIONS; VALIDATION AND VERIFICATION;

ADA (PROGRAMMING LANGUAGE);

EID: 84956987255     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48046-3_15     Document Type: Conference Paper

References (7)

1. Waroquiers, P.; Ada Tasking and Dynamic Memory: To Use or Not To Use, That’s a Question!, Proceedings of International Conference on Reliable Software Technologies-Ada Europe 1996, Montreux, Switzerland, June 10-14, 1996, Alfred Strohmeier (Ed.), Lecture Notes in Computer Science, vol. 1088, Springer-Verlag, 1996, pp.460-470.
2. Barnes, J.; High Integrity Ada; The Spark Approach, Addison Wesley, 1997.
3. Waroquiers, P., Van Vlierberghe, S., Craeynest, D., Hately, A., and Duvinage, E.; Migrating Large Applications from Ada83 to Ada95, Proceedings of International Conference on Reliable Software Technologies-Ada Europe 2001, Leuven, Belgium, May 14-18, 2001, Dirk Craeynest, Alfred Strohmeier (Eds.), Lecture Notes in Computer Science, vol. 2043, Springer-Verlag, 2001, pp.380-391.
4. Purify on-line Unix manual, Rational Software Corporation, June 2000.
5. Taft, S.T., Duff, R.A., Brukardt, R.L. and Plödereder, E.; Consolidated Ada Reference Manual. Language and Standard Libraries, ISO/IEC 8652:1995(E) with COR.1:2000, Lecture Notes in Computer Science, vol. 2219, Springer-Verlag, 2001.
6. GNAT Reference Manual-The GNU Ada95 Compiler, Version 3.15a, Ada Core Technologies, 30 January 2002.
7. GNAT User’s Guide for Unix Platforms, Version 3.15a, Ada Core Technologies, 30 January 2002.