Hacker News new | ask | show | jobs
by a-priori 4420 days ago
My knowledge of safety critical software is not extensive and several years out of date, but my understanding is that the big two languages in safety critical software are still MISRA C (a subset of C designed to enforce safety via static analysis, see http://en.wikipedia.org/wiki/MISRA_C), and Ada.

As far as I'm aware, Fortran and Algol are not widely used. But feel free to correct me.