Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada

Emmanuel Briot, Franco Gasperoni, Robert Dewar, Dirk Craeynest, Philippe Waroquiers. Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada. In Jean-Pierre Rosen, Alfred Strohmeier, editors, Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings. Volume 2655 of Lecture Notes in Computer Science, pages 129-141, Springer, 2003. [doi]

Abstract

Abstract is missing.