Dijkstra utiliza un enfoque riguroso que enfatiza el razonamiento lógico para crear programas correctos, en línea con la verificación formal de Hoare.
Una Introducción a la Lógica de Hoare
por C.A.R. Hoare · 1969
Ver sugerenciasSinopsis
Este artículo seminal presenta un sistema formal para razonar sobre la corrección de programas imperativos, utilizando precondiciones y postcondiciones.
Sé el primero en valorar este libro.
Más de C.A.R. Hoare
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Hoare presenta el CSP, un lenguaje de programación para sistemas concurrentes, similar a su enfoque en la lógica de programas para especificaciones formales.
Este libro compila los trabajos de Hoare, incluyendo el CSP, que redefine conceptos sobre programación concurrente y se conecta con la reflexión sobre la lógica en su obra.
Dijkstra propone un método formal para construir programas, utilizando lógica matemática para garantizar corrección, alineándose con los principios de verificación de Hoare.
Hoare explora cómo las aserciones lógicas se aplican a la semántica de los programas, complementando su propio trabajo en la lógica de programación y verificación.
Este ensayo de Hoare establece un marco axiomático para la semántica de los programas, similar a su enfoque en la corrección de programas imperativos.