Advertisement

C.A.R. Hoare

  • Gerard O’Regan
Chapter

Abstract

Charles Anthony Richard (C.A.R. or Tony) Hoare is a British computer scientist who has made fundamental contributions to computing including the quicksort algorithm, the axiomatic approach to program semantics and programming constructs for concurrency.

Keywords

Programming Language Axiomatic Approach Total Correctness Communicate Sequential Process Denotational Semantic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. [Hor:69]
    Hoare CAR (1969) An axiomatic basis for computer programming. Commun ACM 12(10):576–585MATHCrossRefGoogle Scholar
  2. [Hor:85]
    Hoare CAR (1985) Communicating sequential processes, Prentice Hall international series in computer science. Prentice Hall, Englewood CliffsMATHGoogle Scholar
  3. [ORg:06]
    O’Regan G (2006) Mathematical approaches to software quality. Springer, LondonMATHGoogle Scholar

Copyright information

© Springer-Verlag London 2013

Authors and Affiliations

  • Gerard O’Regan
    • 1
  1. 1.SQC ConsultingMallow, CorkIreland

Personalised recommendations