Ummmm... some of us and enjoy SPARK-Ada. Choose the right tool for the job—don’t just always use the same hammer!
Replying to @kiniry
Right! I think SPARK 18 in particular looks very cool based on the little I've seen. I'm not sure if the Rust-like pointer checking is in there, but regardless the integrated proof stuff looks awesome. But I think it's implicitly/automatically rejected from consideration by most.
4:37 PM - 5 Nov 2018
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.