C
C. A. R. Hoare
Researcher at Microsoft
Publications - 139
Citations - 30779
C. A. R. Hoare is an academic researcher from Microsoft. The author has contributed to research in topics: Correctness & Communicating sequential processes. The author has an hindex of 54, co-authored 136 publications receiving 30228 citations. Previous affiliations of C. A. R. Hoare include University of Hertfordshire & University of Wollongong.
Papers
More filters
Book
Assertions: a personal perspective
TL;DR: My personal perspective illustrates the complementary roles of pure research, aimed at academic ideals of excellence, and the unexpected ways in which the results of such research contribute to the gradual improvement of engineering practice.
Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle
TL;DR: There is certainly enough complexity out there to justify a wide range of specialist branches of science; and within each branch to require a widerange of investigatory styles and techniques.