6 ms·
How about https://en.wikipedia.org/wiki/SPARK_(programming_language) https://en.wikipedia.org/wiki/SPARK_(programming_language)
by erpellan 2y ago
How about https://en.wikipedia.org/wiki/SPARK_(programming_language) https://en.wikipedia.org/wiki/SPARK_(programming_language)
- lolinder 2y agoAda is terminally underappreciated.
- MaxBarraclough 2y agoSeconded. 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 https://www.adacore.com/tokeneer