4 ms·
It's kind of a shame that this subset of research is kind of stuck on C as a standard. I feel like higher abstraction languages would potentially be easier to r
by mpoteat 6y ago
It's kind of a shame that this subset of research is kind of stuck on C as a standard. I feel like higher abstraction languages would potentially be easier to reason about, as well as personally more useful to me.
Sure I know C11 but it's just not a tool that solves the problems I'm interested in.
- zbobet2012 6y agoUh, tons of modern verifable languages exist. See idris or f* for example. They are actually quite good.
- GeorgeWBasic 6y agoUh, he was saying they should be used in this instead of C.
- adrianN 6y agoA lot of embedded code is written in C. A lot of safety critical code is embedded code. This is unlikely to change in the next decade or two.
- irundebian 6y agoThe problem is that in safety critical contexts you are using special subsets of C (e. g. like in MISRA C). I would probably make more sense to analyze languages like Ada/SPARK or Rust which already have some safety considerations respected in their designs.