The Formal Semantics of Programming Languages: An Introduction
1993·divulgacion
Este texto explora cómo los lenguajes de programación pueden definirse de manera formal y matemática, utilizando herramientas como la lógica y la teoría de dominios para dar significado preciso a los programas.