Yahoo Search Búsqueda en la Web

Entrar

Resultado de búsqueda

  1. es.wikipedia.org › wiki › CC. A. R. Hoare - Wikipedia, la enciclopedia libre

    Charles Antony Richard Hoare (Colombo, Sri Lanka, 11 de enero de 1934), también conocido familiarmente como Tony Hoare, es un científico británico en computación. Conocido sobre todo por la invención, en 1960 de Quicksort , que es el algoritmo de ordenamiento más ampliamente utilizado en el mundo.

  2. en.wikipedia.org › wiki › Tony_HoareTony Hoare - Wikipedia

    Sir Charles Antony Richard Hoare FRS FREng, also known as Tony Hoare or by his initials C. A. R. Hoare (/ h ɔːr /; born 11 January 1934) is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and concurrent computing.

  3. amturing.acm.org › award_winners › hoare_4622167C. Antony R. Hoare - A.M. Turing Award Laureate

    Learn about the life and achievements of Tony Hoare, the inventor of Quicksort and the creator of Hoare triples for reasoning about programs. He also made significant contributions to the design and theory of programming languages and concurrency.

  4. Videos

    Ver todo

  5. www.wikiwand.com › es › CC. A. R. Hoare - Wikiwand

    Charles Antony Richard Hoare ( Colombo, Sri Lanka, 11 de enero de 1934 ), también conocido familiarmente como Tony Hoare, es un científico británico en computación. Conocido sobre todo por la invención, en 1960 de Quicksort, que es el algoritmo de ordenamiento más ampliamente utilizado en el mundo. También se le conoce por el desarrollo ...

  6. academia-lab.com › enciclopedia › tony-hoareTony hoare _ AcademiaLab

    Sir Charles Antony Richard Hoare ( Tony Hoare o C. A. R. Hoare) FRS FREng (nacido el 11 de enero de 1934) es un informático británico que ha realizado contribuciones fundamentales a los lenguajes de programación, algoritmos, sistemas operativos, verificación formal y computación concurrente.

  7. Imágenes

    • C. A. R. Hoare Death Fact Check, Birthday & Age | Dead or Kicking
    • C.A.R. Hoare – Pascal for small machines
    • C. A. R. Hoare| edubilla.com
    • Tony Hoare, C. A. R. Hoare | SOLDIERX.COM
    • C.A.R. Hoare by Silas Barr

    Ver todo

  8. dl.acm.org › doi › 10An axiomatic basis for computer programming | Communications of...

    Reference is made to the paper by C. A. R. Hoare [1] which discusses the fundamentals of an axiomatic approach to computer programming. One advantage for an axiomatic system proposed by Hoare is that an axiomatic description of computer programs would ...

  9. dblp.org › pid › hdblp: C. A. R. Hoare

    Dines Bjørner, C. A. R. Hoare, Hans Langmaack: VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings. Lecture Notes in Computer Science 428, Springer 1990, ISBN 3-540-52513-0 [contents] 1980 – 1989.