Safe Dynamic Memory Management in Ada and SPARK [pdf] #1 Post by blue_tongue » Sat, Jul 28, 2018, 8:50 AM UTC Safe Dynamic Memory Management in Ada and SPARK [pdf]adacore.com