4 ms·
I wouldn't. I would go with spark ada. No doubt C has better tooling, though.
by roma1n 14y ago
I wouldn't. I would go with spark ada. No doubt C has better tooling, though.
- ballooney 14y agoAnd more people who can write it or prefer writing in it? Technical problems being people problems 90% of the time or whatever it was the fella said.
- eliben 14y agoThe problem with Ada is not only the lack of tooling (although it's a huge problem - relatively to C, the tooling is scarce and horrible), it's also the people that know the language. I prefer C code written by a good programmer than Ada code written by a poor programmer any day, and finding good C programmers is much easier than finding good Ada programmers.
- gtani 14y agoDetailed account of using Spark and PVS theorem prover in such an app http://www.cs.virginia.edu/~jck/publications/Xiang.Yin.dissertation.pdf http://www.cs.virginia.edu/~jck/publications/Xiang.Yin.disse...