C. A. R. Hoare recebe o Prémio Turing da ACM

Como sabemos isto?

• ✓ Cada frase confere com um excerto das fontes
• ✓ Segunda verificação automática do texto
• ℹ Fonte: Wikipédia (enciclopédia livre)

Publicado a 23 de outubro de 2026 · fontes consultadas a 23 de outubro de 2026

1. Wikipédia — Neste dia, 27 de outubro (abre num novo separador) — Wikipédia, CC BY-SA 4.0, consultado a 23 de outubro de 2026

   Excerto 1: 27 de outubro — 1980: O cientista da computação britânico C. A. R. Hoare recebe o Prêmio Turing da ACM por "suas contribuições fundamentais para a definição e o design das linguagens de programação".

2. Charles Antony Richard Hoare (abre num novo separador) — Wikipédia, CC BY-SA 4.0, consultado a 23 de outubro de 2026 · versão consultada (abre num novo separador)

   Excerto 2: Recebeu o Prêmio Turing da ACM de 1980, por "suas contribuições fundamentais para a definição e projeto de linguagens de programação". O prêmio lhe foi entregue na Conferência Anual da ACM em Nashville, Tennessee, em 27 de outubro de 1980, por Walter Carlson, presidente do comitê de premiação.

   Excerto 3: Charles Antony Richard Hoare, também conhecido como Tony Hoare ou C. A. R. Hoare

   Excerto 4: Conhecido pelo desenvolvimento do Quicksort em 1960, o algoritmo de ordenação mais utilizado no mundo, e muito provavelmente o algoritmo mais usado dentre todos os tipos existentes. Ele também desenvolveu a Lógica de Hoare e a linguagem formal CSP, usada para especificar interações entre processos concorrentes e que serviu de inspiração para a linguagem de programação Occam.

Cada frase do artigo remete para o excerto da fonte que a sustenta. Como verificamos · Encontrou um erro? · Correções feitas