In memoriam, Tony Hoare

 Jonathan Bowen m'a appris le décès de Tony Hoare jeudi 5 mars.

 https://en.wikipedia.org/wiki/Tony_Hoare 

Tony Hoare est un de mes maîtres via ses écrits dont :

Dahl, O.-J.; Dijkstra, E. W.; Hoare, C. A. R. (1972). Structured Programming. Academic Press. ISBN 978-0-12-200550-3. OCLC 23937947.

C. A. R. Hoare (1985). Communicating Sequential Processes. Prentice Hall International Series in Computer Science. ISBN 978-0131532717 (hardback) or ISBN 978-0131532892 (paperback). (Available online at http://www.usingcsp.com/ Archived 1 February 2021 at the Wayback Machine in PDF format.)

 

 

Je vous renvoie à 

https://www.researchgate.net/profile/Jonathan-Bowen-2/publication/251422442_Oral_History_of_Sir_Antony_Hoare/links/6071ada14585150fe999e6de/Oral-History-of-Sir-Antony-Hoare.pdf 

et à  FACTS  

T Denvir, J He, CB Jones, AW Roscoe, J Stoy, B Sufrin, JP Bowen
FACS FACTS 2024 (2), 5-42

https://www.bcs.org/media/1wrosrpv/facs-jul24.pdf#page=5