3 ms·

It's justified for aerospace, because failures are quite expensive there, but for usual business it will be much easier to implement automatic bound checking, l

It's justified for aerospace, because failures are quite expensive there, but for usual business it will be much easier to implement automatic bound checking, like at 1% complexity of the C compiler.

ryao 4y ago
I wonder what operating systems the aerospace industry uses, since failures in the operating system could be equally expensive, yet operating system developers generally do not have access to these tools.
- camgunz 4y ago
  Much of the time they build their own.