DISEÑO DE COMPILADORES MODERNOS

Un compilador es una de las partes más vitales del software de un ordenador, puesto que traduce programas escritos en un lenguaje de alto nivel a comandos de bajo nivel que la máquina puede entender y ejecutar. La mayoría de los libros de diseño de compiladores se enfocan sólo en las técnicas para lenguajes imperativos (o procedimentales) como C o Pascal, mientras que Diseño de compiladores modernos también trata de técnicas de compilación para lenguajes orientados a objetos, funcionales, lógicos y distribuidos. Se pone el énfasis práctico en las técnicas de implementación y optimización, que incluyen herramientas para el diseño automático de compiladores. Las características del libro incluyen: ¿ Enfoque en técnicas avanzadas y tradicionales básicas comunes a todos los paradigmas de los lenguajes, que proporcionan a los lectores las habilidades necesarias para la construcción de compiladores modernos. ¿ Tratamiento de todos los tipos de lenguajes de programación más importantes: imperativos, orientados a objetos, funcionales, lógicos y distribuidos. ¿ Un fuerte e intuitivo estilo, ilustrado con muchos ejemplos prácticos. Además, todos los autores son profesores e investigadores de lenguajes de programación y de su implementación además de tener mucha experiencia en la construcción de compiladores para muchos lenguajes.