Papers
SPARK 2014 Reference Manual - Release 2020
Recursive Data Structures in SPARK
Why use a commercially supported C/C++ toolchain?
When Testing Is Not Enough
How to Succeed in the Software Business While Giving Away the Source Code — The AdaCore Experience
ParaSail: A Pointer-Free Pervasively-Parallel Language for Irregular Computations
Practical Application of SPARK to OpenUxAS
Lady Ada Mediates Peace Treaty in Endianness War
Ada: Meeting Tomorrow’s Software Challenges Today
Controlling Costs with Software Language Choice — How Ada Can Help
Safe Dynamic Memory Management in Ada and SPARK