Comentario
Un compilador es una de las partes vitales de los sistemas de computadores; traduce los programas escritos en un lenguaje de alto nivel a un conjunto de órdenes de baja nivel que la máquina puede entender y ejecutar. La mayoría de los textos sobre diseño de compiladores se centran efusivamente en las técnicas para los lenguajes imperativas (o procedurales), como C o Pascal, mientras que Diseño de compiladores modernos trata también las técnicas de compilación para lenguajes orientados a objetos, lenguajes funcionales, lenguajes lógicos y lenguajes distribuidos.
Algunos de los aspectos más destacables de esta obra son: * Estudio de las técnicas clásicas esenciales y de las técnicas avanzadas comunes a todos las paradigmas de lenguajes, para proporcionar al lector los conocimientos necesarias sobre la construcción moderna de compiladores.
Además, las técnicas propuestas tienen una amplia aplicabilidad en otros ámbitos de la ingeniería de software * Comprende todos los tipos de lenguajes de programación importantes: lenguajes imperativos, orientados a objetos, funcionales, lógicos y distribuidos * Enfoque práctico sobre las técnicas de implementación y de optimización, que trata las herramientas para el diseña automatizado de compiladores * Estilo eminentemente intuitivo, ilustrado por múltiples ejemplos prácticos | 
