- AdaCore - Recursive Data Structures in SPARK https://www.adacore.com/papers/recursive-data-structures-in-spark 4 comments ada
- Learning SPARK via Conway's Game of Life - The AdaCore Blog https://blog.adacore.com/learning-spark 3 comments programming
- NVIDIA works with AdaCore to leverage Ada and SPARK programming languages for software security https://blogs.nvidia.com/blog/2019/02/05/adacore-secure-autonomous-driving/ 96 comments programming