FavAuthor
Tony Hoare
Foto: Rama (CC BY-SA 2.0 fr), Wikimedia Commons

Wenn du Tony Hoare magst, lies diese Autoren

1934–2026 · britischer Informatiker, Entwickler des Quicksort-Algorithmus sowie des Hoarekalküls

Auch bekannt als: Antony Hoare, C. A. R. Hoare, C.A.R. Hoare, Charles Antony Richard Hoare, Charles Hoare, Sir Charles Antony Richard Hoare

Ähnliche Autorinnen und Autoren

Diese Liste stammt aus einer KI und noch nicht aus Leserdaten. Sobald genug Leser Tony Hoare mögen, ersetzen ihre Daten die KI-Vorschläge.

  • Edsger Wybe Dijkstra1930–2002
    KI-Vorschlag, noch ohne Leserdaten

    Writes on structured programming, program correctness and formal derivation of algorithms in a rigorous, essayistic style. (KI-Begründung, englisch)

    Melden
  • Niklaus Wirth1934–
    KI-Vorschlag, noch ohne Leserdaten

    Focuses on programming language design, simplicity and disciplined construction of algorithms and data structures. (KI-Begründung, englisch)

    Melden
  • Donald E. Knuth1938–
    KI-Vorschlag, noch ohne Leserdaten

    Offers deep, mathematically grounded analysis of algorithms, including sorting and searching. (KI-Begründung, englisch)

    Melden
  • David Gries1939–
    KI-Vorschlag, noch ohne Leserdaten

    Presents program derivation and correctness proofs building directly on axiomatic reasoning about programs. (KI-Begründung, englisch)

    Melden
  • Robin Milner
    KI-Vorschlag, noch ohne Leserdaten

    Develops process calculi for concurrency closely paralleling communicating sequential processes. (KI-Begründung, englisch)

    Melden
Alle 10 zeigen
  • Carroll Morgan1952–
    KI-Vorschlag, noch ohne Leserdaten

    Writes on refinement calculus and deriving programs from specifications. (KI-Begründung, englisch)

    Melden
  • Leslie Lamport1941–
    KI-Vorschlag, noch ohne Leserdaten

    Addresses concurrency, distributed systems and formal specification with logical rigor. (KI-Begründung, englisch)

    Melden
  • Per Brinch Hansen1938–
    KI-Vorschlag, noch ohne Leserdaten

    Explores concurrent programming concepts such as monitors and operating system design principles. (KI-Begründung, englisch)

    Melden

Wähle Tony Hoare und ein paar weitere Lieblingsautoren aus und bekomme Vorschläge, die zu dir passen.

Eigene Vorschläge bekommen

Bekannte Werke

  • VDM '90
  • Software and systems safety
  • Mathematical logic and programming languages
  • Mechanized reasoning and hardware design
  • Scientific applications of multiprocessors