In article <8e3c0ff0-a96d-41e9-9549-6600786e2af4@v17g2000vbo.googlegroups.com>,
Emmanuel Briot  <briot.emmanuel@gmail.com> wrote:
>On Jan 24, 10:43�am, Yannick Duch�ne (Hibou57)
><yannick_duch...@yahoo.fr> wrote:
>> You did not said enough :)
>
>See the package GNAT.Debug_Pools and its documentation for more
>information.
>
>Emmanuel

For a paper co-authored by AdaCore and Eurocontrol
about the introduction of that package, see:
<http://www.cs.kuleuven.be/~dirk/papers/ae03cfmu-paper.pdf>

It is titled "Exposing Memory Corruption and Finding Leaks: Advanced
Mechanisms in Ada" and was presented at the Ada-Europe 2003 conference.

HTH

Dirk
Dirk.Craeynest@cs.kuleuven.be (for Ada-Belgium/-Europe/SIGAda/WG9 mail)

*** 16th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2011
*** June 20-24, 2011 **** Edinburgh, UK **** http://www.ada-europe.org