Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Ada-related Papers

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