Una Introducción a la Lógica de Hoare
1969·divulgacion
Este artículo seminal presenta un sistema formal para razonar sobre la corrección de programas imperativos, utilizando precondiciones y postcondiciones.
CH
CH
C.A.R. Hoare
británico
C.A.R. Hoare es un influyente informático británico, conocido principalmente por ser uno de los creadores del algoritmo de ordenación QuickSort y por su trabajo en la teoría de lenguajes de programación. Su contribución ha sido fundamental en el desarrollo de la informática moderna y los sistemas de programación.
Obras en el archivo
4 títulos
Comunicating Sequential Processes (CSP)
1978·divulgacion
Una propuesta para un lenguaje de programación para sistemas concurrentes basado en la comunicación por intercambio de mensajes, ofreciendo un enfoque diferente al de los monitores.
El camino hacia una computación fiable
1980·divulgacion
Recopilación de ensayos y conferencias de otro pionero de la informática, Tony Hoare, que explora la verificación formal de programas, la concurrencia y los fundamentos del diseño de software robusto. Un clásico menos conocido fuera de círculos académicos.
Este ensayo profundiza en el uso de métodos formales, como la lógica y las matemáticas, para especificar y verificar la corrección de sistemas de software, buscando la rigurosidad en el diseño.
Autores relacionados
Aparecen junto a C.A.R. Hoare en búsquedas del archivo