Already in 1961, one of the achievements of Burroughs was being an OS fully written in a safe systems languages (one of the first uses of UNSAFE code blocks), and a bytecode based format for executables.

This system is still sold nowadays as Unisys ClearPath MCP.