Portada de Compiladores: Principios, técnicas y herramientas

Compiladores: Principios, técnicas y herramientas

por Alfred V. Aho · 1986

Sinopsis

Conocido como el 'Libro del Dragón', cubre todas las fases del diseño e implementación de compiladores, desde el análisis léxico y sintáctico hasta la generación y optimización de código, con un enfoque formal y práctico.

Sé el primero en valorar este libro.

Más de Alfred V. Aho

Ver autor →

Otras obras del mismo autor en el catálogo

Libros similares

Libros relacionados según distintos criterios de búsqueda

El lenguaje de la interfaz de usuario: Exploraciones en el diseño de productos y sitios web

Alan Cooper·1995·no ficcion

Mientras que 'Compiladores' se enfoca en la construcción interna de lenguajes para máquinas, este libro se preocupa por cómo los 'lenguajes' (interfaces) se presentan a los humanos. Ambos tratan la formalización y estructuración de la comunicación, pero desde extremos opuestos del espectro de interacción (máquina vs. humano), mostrando que los principios de diseño de lenguajes trascienden su aplicación técnica.

Gödel, Escher, Bach: Un eterno y grácil bucle

Douglas R. Hofstadter·1979·filosofia

Aunque 'Compiladores' es un texto técnico sobre la implementación de lenguajes de programación, 'Gödel, Escher, Bach' explora las ideas más profundas de la recursión, la auto-referencia y los sistemas formales, que son conceptos subyacentes en la teoría de compiladores (gramáticas, autómatas, interpretación). La conexión es conceptual y filosófica, no técnica, abordando los 'porqués' de la computación formal.

Principia Mathematica

Alfred North Whitehead, Bertrand Russell·1910·filosofia

Este libro representa el pináculo del formalismo lógico que subyace a toda la computación y, por extensión, a la construcción de compiladores. La búsqueda de un sistema formal consistente y completo para la matemática es análoga a la búsqueda de un lenguaje de programación formalmente definido y un compilador que pueda traducirlo de manera inequívoca y correcta.

Sobre los números transfinitos

Georg Cantor·1895·no ficcion

Aunque superficialmente dispar, ambos libros profundizan en la naturaleza subyacente de los sistemas abstractos. Mientras Cantor expandió nuestra comprensión de la infinitud en las matemáticas, 'Compiladores' explora cómo traducir lenguajes bien definidos a representaciones computacionales. Ambos tratan sobre la creación de un marco formal para manipular y comprender entidades abstractas de una manera rigurosa.

Máquinas y diagramas

Stanislaw Lem·1961·filosofia

Mientras 'Compiladores' es un manual práctico sobre cómo construir las herramientas para el lenguaje computacional, Lem reflexiona en profundidad sobre lo que implican esos lenguajes y máquinas en un sentido más existencial y filosófico. Su obra, aunque de ciencia ficción filosófica, se conecta con la base teórica de la computación pero desde una perspectiva mucho más amplia y menos anglosajona.

La construcción del lenguaje de programación C++

Bjarne Stroustrup·1991·no ficcion

A diferencia de un texto general de compiladores, este libro, escrito por el arquitecto de C++, proporciona una perspectiva profunda y personal sobre las decisiones de diseño de un lenguaje. Mientras que 'Compiladores' enseña a construir la herramienta, este libro muestra cómo se concibe y formaliza el 'material' que esa herramienta procesa, desde la perspectiva de su creador, ofreciendo una visión única del proceso de diseño de lenguaje.

El árbol del conocimiento: Las bases biológicas del entendimiento humano

Humberto Maturana, Francisco Varela·1984·no ficcion

Este libro aborda la idea de que la percepción y el entendimiento humano se construyen a través de procesos recursivos y 'compilaciones' internas de la experiencia. Si bien 'Compiladores' trata la traducción de lenguajes formales, 'El árbol del conocimiento' explora cómo el cerebro 'compila' la realidad a través de su propia 'estructura sintáctica y semántica' interna (el sistema nervioso), generando un 'modelo' coherente del mundo. Ambos discuten sistemas que generan representaciones coherentes a través de la interpretación de entradas.