C. A. R. Hoare
Publication Activity (10 Years)
Years Active: 1961-2023
Publications (10 Years): 1
Publications (10 Years): 1
Top Venues
Publications
- C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman
- Ian Wehrman, C. A. R. Hoare, Peter W. O'Hearn
- C. A. R. Hoare
- C. A. R. Hoare, Jayadev Misra
- C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman
- C. A. R. Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar
- Jifeng He, C. A. R. Hoare
- Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
- C. A. R. Hoare
- Jifeng He, C. A. R. Hoare
- Cédric Fournet, C. A. R. Hoare, Sriram K. Rajamani, Jakob Rehof
- C. A. R. Hoare
- C. A. R. Hoare
- C. A. R. Hoare
- C. A. R. Hoare
- C. A. R. Hoare
- C. A. R. Hoare
- C. A. R. Hoare
- Robert S. Boyer, W. H. J. Feijen, David Gries, C. A. R. Hoare, Jayadev Misra, J. Moore, H. Richards
- C. A. R. Hoare
- C. A. R. Hoare
- C. A. R. Hoare
- C. A. R. Hoare
- C. A. R. Hoare
- C. A. R. Hoare
- C. A. R. Hoare
- Jifeng He, C. A. R. Hoare
- C. A. R. HoareLegacy Code. ICFEM (2000)
- Jifeng He, C. A. R. Hoare
- Silvija Seres, J. Michael Spivey, C. A. R. Hoare
- C. A. R. Hoare, Jifeng He
- Simon L. Peyton Jones, Alastair Reid, Fergus Henderson, C. A. R. Hoare, Simon Marlow
- Jifeng He, C. A. R. Hoare
- C. A. R. Hoare, Jifeng He
- C. A. R. Hoare
- C. A. R. Hoare
- C. A. R. Hoare
- C. A. R. Hoare
- C. A. R. Hoare
- Burghard von Karger, C. A. R. Hoare
- C. A. R. Hoare, Ian Page
- Jifeng He, C. A. R. Hoare, Martin Fränzle, Markus Müller-Olm, Ernst-Rüdiger Olderog, Michael Schenke, Michael R. Hansen, Anders P. Ravn, Hans Rischel
- C. A. R. Hoare
- C. A. R. Hoare, Jifeng He, Augusto Sampaio
- Jifeng He, C. A. R. Hoare
- C. A. R. Hoare
- Zhou Chaochen, C. A. R. Hoare
- C. A. R. Hoare
- C. A. R. HoarePrograms are Predicates. FGCS (1992)
- C. A. R. Hoare
- C. E. Martin, C. A. R. Hoare, Jifeng He
- Zhou Chaochen, C. A. R. Hoare, Anders P. Ravn
- C. A. R. Hoare
- C. A. R. Hoare
- C. A. R. Hoare
- C. A. R. Hoare
- C. A. R. Hoare
- A. W. Roscoe, C. A. R. Hoare
- C. A. R. Hoare, Jifeng He, Jeff W. Sanders
- Jifeng He, C. A. R. Hoare
- C. A. R. Hoare
- C. A. R. Hoare, Jifeng He
- C. A. R. Hoare, Ian J. Hayes, Jifeng He, Carroll Morgan, A. W. Roscoe, Jeff W. Sanders, Ib Holm Sørensen, J. Michael Spivey, Bernard Sufrin
- Jifeng He, C. A. R. Hoare, Jeff W. Sanders
- Ernst-Rüdiger Olderog, C. A. R. Hoare
- C. A. R. Hoare
- K. T. Sridhar, C. A. R. Hoare
- C. A. R. Hoare
- C. A. R. Hoare, A. W. Roscoe
- C. A. R. Hoare
- Stephen D. Brookes, C. A. R. Hoare, A. W. Roscoe
- Ernst-Rüdiger Olderog, C. A. R. Hoare
- C. A. R. Hoare
- C. A. R. Hoare
- Eric C. R. Hehner, C. A. R. Hoare
- C. A. R. Hoare
- C. A. R. Hoare
- Zhou Chao Chen, C. A. R. Hoare
- Richard Kennaway, C. A. R. Hoare
- Nissim Francez, C. A. R. Hoare, Daniel J. Lehmann, Willem P. de Roever
- C. A. R. Hoare
- C. A. R. Hoare
- C. A. R. Hoare