Scipediacontent: Scipediacontent moved page Draft Content 749883679 to Craeynest et al 2007a

2021-01-25T10:43:11Z

Scipediacontent moved page Draft Content 749883679 to Craeynest et al 2007a

Scipediacontent: Created page with " == Abstract == This article discusses the tools that Ada offers to deal with dynamic memory problems. The article shows how the storage pools mechanism of Ada 95 can be exte..."

2021-01-25T10:43:08Z

Created page with " == Abstract == This article discusses the tools that Ada offers to deal with dynamic memory problems. The article shows how the storage pools mechanism of Ada 95 can be exte..."

New page

== Abstract ==

This article discusses the tools that Ada offers to deal with dynamic memory problems. The article shows how the storage pools mechanism of Ada 95 can be extended to enpower developers when tracking memory leaks and memory corruption in their code. This Ada extension rests on the notion of "checked pools", i.e. storage pools with an additional Dereference operation. The paper describes how a particular instance of the checked pool, called the "debug pool", is implemented in the GNAT technology. Performance measurements for the use of debug pools are provided in the context of the Air Traffic Flow Management application at Eurocontrol.

== Full document ==
<pdf>Media:Draft_Content_749883679-beopen1329-6319-document.pdf</pdf>

== Original document ==

The different versions of the original document can be found in:

* [http://people.cs.kuleuven.be/~dirk.craeynest/papers/ae03cfmu-paper.pdf http://people.cs.kuleuven.be/~dirk.craeynest/papers/ae03cfmu-paper.pdf]

* [http://link.springer.com/content/pdf/10.1007/3-540-44947-7_9 http://link.springer.com/content/pdf/10.1007/3-540-44947-7_9],
: [http://dx.doi.org/10.1007/3-540-44947-7_9 http://dx.doi.org/10.1007/3-540-44947-7_9]

* [https://link.springer.com/chapter/10.1007/3-540-44947-7_9 https://link.springer.com/chapter/10.1007/3-540-44947-7_9],
: [https://core.ac.uk/display/34328756 https://core.ac.uk/display/34328756],
: [https://dblp.uni-trier.de/db/conf/adaEurope/adaEurope2003.html#BriotGDCW03 https://dblp.uni-trier.de/db/conf/adaEurope/adaEurope2003.html#BriotGDCW03],
: [https://rd.springer.com/chapter/10.1007/3-540-44947-7_9 https://rd.springer.com/chapter/10.1007/3-540-44947-7_9],
: [https://academic.microsoft.com/#/detail/1521043014 https://academic.microsoft.com/#/detail/1521043014]

← Older revision	Revision as of 10:43, 25 January 2021
(No difference)

Craeynest et al 2007a - Revision history

Scipediacontent: Scipediacontent moved page Draft Content 749883679 to Craeynest et al 2007a

Scipediacontent: Created page with " == Abstract == This article discusses the tools that Ada offers to deal with dynamic memory problems. The article shows how the storage pools mechanism of Ada 95 can be exte..."