Safe Dynamic Memory Management in Ada and SPARK

Re:Safe Dynamic Memory Management in Ada and SPARK by Fabien_C on Wednesday July 25, 2018 @12:32PM (#17610528)

For those who want to try SPARK, we just launched an interactive learning website: https://learn.adacore.com

[ Parent | on HN ]

Re:Safe Dynamic Memory Management in Ada and SPARK by haskellandchill on Wednesday July 25, 2018 @01:39PM (#17611152)

Thanks. I have been part-time trying to figure out how to install the beast on OSX for months.

[ Parent | on HN ]

Re:Safe Dynamic Memory Management in Ada and SPARK by Fabien_C on Wednesday July 25, 2018 @01:45PM (#17611201)

The installer over there should be everything you need: https://www.adacore.com/download

[ Parent | on HN ]