Teoría, Diseño e Implementación de Compiladores de Lenguajes

El presente libro aborda la teoría, el diseño y la implementación de las fases por las que un código fuente pasa en el proceso de compilación, intentando dar un enfoque práctico, esto es, acercándolo a la construcción de un lenguaje de programación real. Se presenta cómo es el desarrollo y funcionamiento de un compilador, empezando por la definición del lenguaje, pasando por los posibles diseños de todas y cada una de las fases de las que se compone (análisis léxico, sintáctico y semántico), hasta proponer una implementación de cada una de ellas. La estructura que sigue este libro consiste en presentar, por cada una de estas fases de la compilación, primero, los conceptos teóricos de la misma y, después, su diseño e implementación, haciendo uso de las distintas alternativas que se presentan. Para lograr una mejor comprensión por parte del lector, se facilitará el código fuente y sus correspondientes archivos ejecutables de dos versiones de analizadores sintácticos diferentes y una tercera implementación con la fase semántica, a partir de uno de los analizadores sintácticos anteriores.

El presente libro aborda la teoría, el diseño y la implementación de las fases por las que un código fuente pasa en el proceso de compilación, intentando dar un enfoque práctico, esto es, acercándolo a la construcción de un lenguaje de programación real. Se presenta cómo es el desarrollo y funcionamiento de un compilador, empezando por la definición del lenguaje, pasando por los posibles diseños de todas y cada una de las fases de las que se compone (análisis léxico, sintáctico y semántico), hasta proponer una implementación de cada una de ellas. La estructura que sigue este libro consiste en presentar, por cada una de estas fases de la compilación, primero, los conceptos teóricos de la misma y, después, su diseño e implementación, haciendo uso de las distintas alternativas que se presentan. Para lograr una mejor comprensión por parte del lector, se facilitará el código fuente y sus correspondientes archivos ejecutables de dos versiones de analizadores sintácticos diferentes y una tercera implementación con la fase semántica, a partir de uno de los analizadores sintácticos anteriores.