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
Journal ArticleDOI
Parallel programming: An axiomatic approach
TL;DR: A number of ways of using parallelism are distinguished, including disjoint processes, competition, cooperation, and communication, in each case an axiomatic proof rule is given.
Book
A trace model for pointers and objects
C. A. R. Hoare,He Jifeng +1 more
TL;DR: In this article, the authors introduce a mathematical model and language for the formulation of assertions about objects and pointers, and suggest that a graphical calculus may help in reasoning about program correctness, which is based on a trace model of graphs using ideas from process algebra.
Book ChapterDOI
The Verifying Compiler: A Grand Challenge for Computing Research
TL;DR: I propose a set of criteria which distinguish a grand challenge in science or engineering from the many other kinds of short-term or long-term research problems that engage the interest of scientists and engineers.
Journal ArticleDOI
Assertions: a personal perspective
TL;DR: Assertions are Boolean formulas placed in program text at places where their evaluation will always be true.
Programs are predicates
TL;DR: Design of a small language that includes assignments, conditionals, non-determinism, recursion, input, output, and concurrency proves that a program P meets its specification S iff =P=>S.