Semántica formal y seguridad de memoria: tres lentes para entender un lenguaje de programación
Un artículo divulgativo del ingeniero Ralf Jung, exresponsable del equipo de Rust en Google, acerca la investigación en lenguajes de programación (PL) al desarrollador medio a partir de un concepto muy concreto: la seguridad de memoria. Jung defiende que la seguridad de memoria es, ante todo, un asu
