Comprender los lenguajes de programación

Título original:

Understanding Programming Languages

Contenido del libro:

Este libro trata sobre la descripción del significado de los lenguajes de programación. El autor enseña la habilidad de escribir descripciones semánticas como forma eficaz de comprender las características de un lenguaje. Aunque un compilador o un intérprete ofrecen una forma de descripción formal de un lenguaje, no es algo que pueda utilizarse como base para razonar sobre ese lenguaje ni puede servir como definición de un lenguaje de programación en sí, ya que éste debe permitir una serie de implementaciones. Al escribir una semántica formal de un lenguaje, el diseñador puede obtener una descripción mucho más breve y extraer, analizar y registrar las opciones de diseño.

Al principio del libro, el autor presenta una notación sencilla, un metalenguaje, utilizada para registrar descripciones de la semántica de los lenguajes. Con un enfoque práctico, considera docenas de problemas que se plantean en los lenguajes de programación actuales y las técnicas clave que deben dominarse para escribir las descripciones semánticas formales necesarias. El libro concluye con un análisis de los ocho retos clave: delimitación de un lenguaje (representación concreta), delimitación del contenido abstracto de un lenguaje, registro de la semántica (lenguajes deterministas), semántica operativa (no determinismo), dependencia del contexto, modelado de la compartición, modelado de la concurrencia y modelado de las salidas.

El contenido se ha probado en clase y es adecuado para cursos de último curso de licenciatura y posgrado. También es adecuado para cualquier diseñador que desee comprender los lenguajes a un nivel profundo. La mayoría de los capítulos ofrecen proyectos, algunos de ellos ejercicios bastante avanzados que exigen descripciones completas de los lenguajes, y el libro se complementa con referencias a lecturas y recursos adicionales. Como requisito previo, el lector debe conocer al menos un lenguaje imperativo de alto nivel y tener nociones de notación matemática discreta para lógica y teoría de conjuntos.