[Info-vax] Memory Safe Programming Languages

[Lawrence D'Oliveiro]

On Fri, 8 Mar 2024 10:07 +0000 (GMT Standard Time), John Dallman wrote:

> We don't have memory-safe instruction sets.

The CHERI project is reviving the old “capability” idea, which might help. 
Arm’s “Morello” research chip is part of that
<https://www.theregister.com/2022/07/26/cheri_computer_runs_kde/>.

> The same applies to compiling a memory-safer language (ADA) into a
> memory-unsafe language (C). The resulting C is memory-safer, but this
> isn't obvious from the code and isn't provable.

If the original language is provably safe, that should carry over into the 
code it generates.