The Formal Semantics of Programming Languages: An Introduction
1993·no ficcion
Este texto proporciona una introducción detallada a los métodos para definir formalmente el significado (semántica) de los lenguajes de programación, utilizando modelos matemáticos.