KSOS: el sistema Unix seguro de los 80 que anticipó el tipado seguro de Rust
Introducción En 1982, mientras los equipos de desarrollo de UNIX seguían debatiendo si el lenguaje C era lo suficientemente seguro para kernels críticos, el Departamento de Defensa de EE.UU. (DoD)…