this is a bizarre paper http://sci-hub.se/https://dl.acm.org/citation.cfm?id=254465&dl=ACM&coll=DL …pic.twitter.com/Gyj3R9xev2
Show this thread
Sitting in a lecture on Ada and SPARK on RISC-V right now and I can not not think about this.. :D
-
-
I was part of the Ada thing in the late '80s and there was widespread cynicism about it from some quarters (Ada 83 certainly had its issues). But SPARK Ada is light years away from that.
-
If I had to engineer a safety critical embedded system today there's no doubt I'd be using SPARK Ada over anything else.
End of conversation
New conversation -
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.