Safe Dynamic Memory Management in Ada and SPARK

Maroua Maalej, S. Tucker Taft, Yannick Moy. Safe Dynamic Memory Management in Ada and SPARK. In Antonio Casimiro, Pedro M. Ferreira, editors, Reliable Software Technologies - Ada-Europe 2018 - 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings. Volume 10873 of Lecture Notes in Computer Science, pages 37-52, Springer, 2018. [doi]

Abstract

Abstract is missing.