Ada-related Papers
A quick pointer to the Eurocontrol CFMU papers I co-authored at recent
International Conferences on Reliable Software Technologies (Ada-Europe)
and ACM SIGAda's Annual conference.
-
"Migrating Large Applications from Ada83 to Ada95"
6th International Conference on Reliable Software Technologies
- Ada-Europe 2001,
Leuven, Belgium, May 14-18, 2001,
Springer-Verlag, LNCS 2043
-
"Exposing Uninitialized Variables: Strengthening and Extending Run-Time
Checks in Ada"
7th International Conference on Reliable Software Technologies
- Ada-Europe 2002,
Vienna, Austria, June 17-21, 2002,
Springer-Verlag, LNCS 2361
-
"Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada"
8th International Conference on Reliable Software Technologies
- Ada-Europe 2003,
Toulouse, France, June 16-20, 2003,
Springer-Verlag, LNCS 2655
-
"European Air Traffic Flow Management: Porting a Large Application to GNU/Linux"
ACM SIGAda Annual International Conference - SIGAda 2003,
San Diego, California, USA, December 07-11, 2003
Last update: 2004/06/15.
Dirk Craeynest