Reseña

Este libro atiende a la necesidad que tienen los profesionales, estudiantes o curiosos de la informática de conocer los diferentes paradigmas de la programación, con una orientación fundamentalmente práctica. Los autores han intentado cumplir con las recomendaciones para la asignatura de Teoría de los Lenguajes de Programación del Grado de Ingeniería Informática tanto de la ANECA como de la ACM y del IEEE.

Teoría de los lenguajes de programación es un manual universitario sólido que ofrece una visión estructurada y accesible sobre cómo se diseñan, analizan y comparan los lenguajes de programación. El libro combina fundamentos teóricos —sintaxis, semántica, tipos, ámbitos, enlazado y modelos de ejecución— con una presentación equilibrada de los principales paradigmas: imperativo, funcional, lógico y orientado a objetos.

Su mayor virtud es la claridad con la que explica conceptos abstractos, apoyándose en ejemplos reales de lenguajes como Haskell, Prolog o Java para mostrar cómo las decisiones de diseño afectan al estilo de programación y a la forma de resolver problemas. Es un texto pensado para estudiantes de ingeniería informática que necesitan comprender no solo cómo se programa, sino por qué los lenguajes funcionan como lo hacen.

En conjunto, es un manual riguroso, didáctico y bien estructurado, ideal para construir una base conceptual sólida en teoría de lenguajes.