2 ms·
> Only with spark (i.e. formal verification) Ada's original memory safety was still a lot better than C's. As noted, PL/I was not 100% memory safe, but it was
by musicale 1y ago
> Only with spark (i.e. formal verification)
Ada's original memory safety was still a lot better than C's. As noted, PL/I was not 100% memory safe, but it was good enough to prevent buffer overflows in Multics.