La semántica en lenguajes de programación
1969·no ficcion
Este ensayo fundamental explora la importancia de una definición formal y precisa de la semántica de los lenguajes de programación, abordando cómo el significado de un programa puede ser definido matemáticamente para asegurar la corrección y robustez del software.