Hoare explora el uso de la lógica para especificar la semántica de los programas y cómo se pueden usar aserciones lógicas para probar su corrección mediante el desarrollo de una lógica axiomática para la programación.
CH
CH
C. A. R. Hoare
británico
C. A. R. Hoare es un destacado científico y pionero en el campo de la informática, conocido por sus contribuciones a la teoría de algoritmos y el desarrollo del lenguaje de programación ALGOL. Recibió el Premio Turing en 1980 por su trabajo en la verificación formal de programas.
Obras en el archivo
2 títulos
Communicating Sequential Processes
1978·ensayo
Propone un enfoque para modelar y analizar sistemas concurrentes basado en procesos que interactúan mediante el paso de mensajes, un paradigma que influyó en muchos lenguajes, como Occam.
Autores relacionados
Aparecen junto a C. A. R. Hoare en búsquedas del archivo