Este libro recopila escritos de Hoare sobre programación y verificación formal, continuando su exploración inicial de la teoría computacional y la programación concurrente.
On the Architecture of Computer Systems: The Early Papers of C.A.R. Hoare
por Tony Hoare · 2012
Ver sugerenciasSinopsis
Esta colección reúne los trabajos pioneros de Tony Hoare, incluyendo su influyente concepto de Communicating Sequential Processes (CSP), que reformuló cómo pensamos sobre la concurrencia y la sincronización.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Proporciona una formulación del CSP, expandiendo la noción de la comunicación como elemento esencial en sistemas concurrentes, tal como Hoare hizo en su obra original.
Introduce un sistema lógico que permite razonar sobre la corrección en programas, conectando con el enfoque riguroso de Hoare sobre la sincronización y concurrencia.
Lamport también investiga la conexión entre teoría y práctica en programación, destacando la importancia de la claridad y la lógica, en línea con las ideas de Hoare.
Este ensayo de Hoare es una extensión directa de su idea de CSP, profundizando en la interacción entre procesos a través del paso de mensajes.
Dijkstra discute la evolución de la programación y la simplicidad, temas que resonan en la obra de Hoare sobre el diseño de sistemas informáticos robustos.