Hacker News new | ask | show | jobs
by erpellan 517 days ago
How about https://en.wikipedia.org/wiki/SPARK_(programming_language)
2 comments
MaxBarraclough 517 days ago
Seconded. Regarding applying SPARK, the Tokeneer case-study is an interesting read. It's self-published by AdaCore.

This summary page links to the full PDF: https://www.adacore.com/tokeneer

link
lolinder 517 days ago
Ada is terminally underappreciated.
link