The Specification of a Programming Language: A Small Example
1969·ensayo
Este trabajo presenta una manera formal y axiomática de especificar la semántica de los programas, sentando las bases para la verificación de la corrección del software.
británico
Charles Antony Richard Hoare, conocido como C. A. R. Hoare, es un destacado informático británico, reconocido por ser el creador del algoritmo de ordenación Quicksort y por su contribución al desarrollo del lenguaje de programación ALGOL. Su trabajo ha tenido un profundo impacto en el campo de la informática y la teoría de algoritmos.
1969·ensayo
Este trabajo presenta una manera formal y axiomática de especificar la semántica de los programas, sentando las bases para la verificación de la corrección del software.
Aparecen junto a Charles Antony Richard Hoare en búsquedas del archivo