La ciencia de la programación

Aunque no es un libro de programación per se, examina las bases lógicas y recursivas que subyacen a los sistemas formales, incluyendo la programación. La 'ciencia de la programación' de Gries busca la corrección formal, un eco de los principios explorados en Hofstadter.

Gries se basa explícitamente en el método propuesto por Dijkstra en este libro. La conexión es directa y profunda, ya que ambos autores comparten la visión de que la programación es una disciplina rigurosa basada en la lógica y la prueba de corrección, en lugar de un mero arte de codificación.

Este libro es fundamental para la 'ciencia de la programación' al establecer los cimientos teóricos para la verificación formal de programas, un tema central en 'La ciencia de la programación' de Gries. Ambos defienden la formalización y una profunda comprensión lógica como base para la programación correcta.

Aunque Wirth es conocido, este libro no es tan comúnmente citado en discusiones sobre 'ciencia de la programación' como Dijkstra o Hoare en el mundo anglosajón. Su enfoque en la estructuración y el diseño desde abajo hacia arriba complementa la búsqueda de programas correctos de Gries, pero desde una perspectiva más arquitectónica.

Este libro se adentra en un aspecto más avanzado de la corrección de programas y el razonamiento formal, el uso de sistemas de tipos, que aunque se solapa con la lógica formal que Gries propugna, es una extensión y una perspectiva ligeramente diferente y menos 'popular' en las discusiones generales sobre depuración. Bird es una figura respetada en la computación, pero esta obra no es tan mainstream como algunas otras.

Aunque el tema difiere (matemáticas en lugar de programación), la estructura del libro de Gries se basa en un rigor matemático y en la aplicación de principios formales para la construcción de software. 'Concrete Mathematics' comparte esta misma rigurosidad, presentando la matemática como una 'ciencia' con pasos y pruebas concretas, análogo a cómo Gries aborda la programación.