C.A.R. Hoare

References

1. ^
2. ^ 2026. (14 minutes 50 seconds into the programme, interview with Bill Roscoe.)
3. ^ . www.cs.ox.ac.uk (DPhil thesis). University of Oxford. OCLC 854973008. EThOS uk.bl.ethos.334903.
4. ^
5. ^
6. ^ 2026.
7. ^
8. ^ 2015.
9. ^ 583. doi:10.1145/363235.363259. S2CID 207726175.
10. ^
11. ^
12. ^ 41. doi:10.1145/1467247.1467261. S2CID 1868477.
13. ^ 557. doi:10.1145/355620.361161. S2CID 1005769.
14. ^ 2014.
15. ^ . National Life Stories: An Oral History of British Science. UK: British Library. Archived(PDF) from the original on 15 September 2014 2014.
16. ^
17. ^ 2014.
18. ^ . Reflections on the Work of C.A.R. Hoare. Springer. ISBN . Archived(PDF) from the original on 9 October 2022.
19. ^ 83. doi:10.1145/358549.358561. ISSN 0001-0782.
20. ^ 2020.
21. ^ 2020.
22. ^ 2024.
23. ^ 2026.
24. ^
25. ^ 557. doi:10.1145/355620.361161.
26. ^ . Archived from the original(PDF) on 19 April 2012.
27. ^
28. ^ 2022.
29. ^
30. ^ 57. ISBN .
31. ^ . FACS FACTS. Formal Aspects of Computing Science (FACS) Specialist Group. pp. 5–42. ISSN 0950-1231. Archived(PDF) from the original on 10 July 2024 2024.
32. ^
33. ^ 2026.
34. ^ 2026.
35. ^
36. ^ 2026.
37. ^ 2022.
38. ^ . Communications of the ACM. 1 (4): 271–281. doi:10.1007/BF00289507. S2CID 34414224.
39. ^
40. ^ . Association for Computing Machinery. Archived from the original(PDF) on 19 April 2012.
41. ^
42. ^
43. ^ 2012.
44. ^
45. ^ 2026.
46. ^ 2.
47. ^
48. ^ 2014.
49. ^
50. ^ 2020."Sir Antony Hoare | Computer History Museum". Archived from the original on 3 April 2015 2015.
51. ^ 2016.
52. ^
53. ^ 2016.
54. ^ 2012.
55. ^ . IEEE. Archived from the original(PDF) on 9 October 2022 2011.
56. ^ 2012.
57. ^ 2013.
58. ^ 2026.