Lobsters
- Taking on a Challenge in SPARK https://blog.adacore.com/taking-on-a-challenge-in-spark 2 comments formalmethods
- Taking on a code proving challenge in SPARK Ada https://blog.adacore.com/taking-on-a-challenge-in-spark 3 comments programming
Linked pages
- How one developer just broke Node, Babel and thousands of projects in 11 lines of JavaScript • The Register https://www.theregister.co.uk/2016/03/23/npm_left_pad_chaos/ 382 comments
- The Great Theorem Prover Showdown • Hillel Wayne https://www.hillelwayne.com/post/theorem-prover-showdown/ 125 comments
- [1710.07047] Safe Pointers in SPARK 2014 https://arxiv.org/abs/1710.07047 38 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:blog.adacore.com
Search title: Taking on a Challenge in SPARK | The AdaCore Blog
See how to search.