C.A.R. Hoare’s scientific contributions

What is this page?

This page lists works of an author who doesn't have a ResearchGate profile or hasn't added the works to their profile yet. It is automatically generated from public (personal) data to further our legitimate goal of comprehensive and accurate scientific recordkeeping. If you are this author and want this page removed, please let us know.

Publications (1)

An Axiomatic Basis of Computer Programming
  • Article

January 1969

·

82 Reads

·

3,694 Citations

C.A.R. Hoare

Citations (1)

... Note The assumption of safety for the single-actor machines is standard for the statement of partial correctness. In essence, it is equivalent to the conventional assumption "if the statement terminates properly" in Floyd-Hoare logic (Floyd, 1967;Hoare, 1969). ...

Reference:

Programming and reasoning about actors that share state
An Axiomatic Basis of Computer Programming
  • Citing Article

  • January 1969

C.A.R. Hoare