blue_tongue

↗ HN profile [ 18.2 ms ] full profile

Karma: 9
Created: July 28, 2018 (8y ago)
Submissions: 0

Safe Dynamic Memory Management in Ada and SPARK [pdf] (adacore.com)

4 points 8y ago 0