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

Sorting 

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