Compiladores: principios, técnicas y herramientas

Contenido y estructura

Compiladores: principios, técnicas y herramientas de Alfred V. Aho, Monica S. Lam, Ravi Sethi y Jeffrey D. Ullman —conocido universalmente como «el libro del dragón» por la ilustración de su portada— es la obra de referencia canónica en el campo del diseño e implementación de compiladores. La 2ª edición, publicada por Pearson en 2008, cubre con profundidad enciclopédica la estructura completa de un compilador moderno: análisis léxico, análisis sintáctico (LL, LR, LALR), análisis semántico y comprobación de tipos, representaciones intermedias, optimización de código y generación de código objeto.

El libro está estructurado en tres grandes bloques: las fases del front-end del compilador (desde el código fuente hasta la representación intermedia), las técnicas de optimización de código (tanto independientes de la máquina como dependientes del hardware) y las fases del back-end (asignación de registros y generación de código). La 2ª edición añade capítulos sobre paralelismo, análisis del flujo de datos y técnicas de compilación para arquitecturas modernas.

Rigor técnico y didáctica

El nivel de rigor teórico es máximo. Los fundamentos formales de gramáticas libres de contexto, autómatas finitos y análisis de atributos se presentan con toda su profundidad matemática. Las demostraciones son completas y la notación es precisa. Para el estudiante que llega con base sólida en teoría de autómatas y gramáticas formales, el libro es una recompensa intelectual de primer orden.

Para quienes no tienen esa base, el libro del dragón puede resultar impenetrable. La curva de entrada es muy pronunciada y la densidad del material hace necesario leerlo con papel y lápiz, resolviendo los ejercicios propuestos para consolidar cada concepto.

Para quién es

El libro del dragón es el texto estándar en los cursos de diseño de compiladores de los mejores programas de ciencias de la computación del mundo. Es imprescindible para quienes estudian o investigan en teoría de lenguajes, para quienes desarrollan herramientas de análisis de código (parsers, linters, analizadores estáticos) y para quienes trabajan en equipos que construyen compiladores o máquinas virtuales.

Para desarrolladores que simplemente quieren escribir un parser sencillo, existen alternativas más pragmáticas como el libro de Nystrom o los tutoriales de LLVM. El libro del dragón es para quienes quieren entender los fundamentos desde sus raíces.

Veredicto final

Compiladores de Aho, Lam, Sethi y Ullman es uno de los grandes libros de la informática. Su impacto en el campo ha sido tan profundo que prácticamente todos los compiladores modernos se han diseñado con sus principios como guía. La edad de la edición actual es su principal debilidad en lo que respecta a tecnologías específicas (LLVM, compiladores JIT, lenguajes funcionales), pero los principios fundamentales que expone son tan vigentes hoy como en 1986. Calificación: 4,6 sobre 5.