[Info-vax] Memory Safe Programming Languages

[Lawrence D'Oliveiro]

On Wed, 6 Mar 2024 20:12:35 -0500, bill wrote:

> And 40 years ago we had safe C.  We all know how well that
> survived.

MISRA still is in production use today.

> Are they going to try and force the Air Force to use Ada again?

Did it ever stop?

The life-support system on the International Space Station was written
in Ada. And then there is SPARK
<https://devclass.com/2022/11/08/spark-as-good-as-rust-for-safer-coding-adacore-cites-nvidia-case-study/>,
which is producing a subset of Ada with even stronger correctness
properties. I gather their aim is ultimately to include the whole of
Ada in that set.