Hacker News
- Safe Dynamic Memory Management in Ada and SPARK https://www.adacore.com/papers/safe-dynamic-memory-management-in-ada-and-spark 5 comments
Lambda the Ultimate
- Safe Dynamic Memory Management in Ada and SPARK https://www.adacore.com/papers/safe-dynamic-memory-management-in-ada-and-spark 1 comment Implementation , Type Theory
Linked pages
Related searches:
Search whole site: site:www.adacore.com
Search title: Safe Dynamic Memory Management in Ada and SPARK | AdaCore
See how to search.