Which is exactly what a high-assurance security project did from Java to Forth. For Open Firmware and commercially available, too. https://www.slideserve.com/b

Which is exactly what a high-assurance security project did from Java to Forth. For Open Firmware and commercially available, too. https://www.slideserve.com/brasen/efficient-code-certification-for-open-firmware https://www.slideserve.com/brasen/efficient-code-certificati...