Tony Hoare: his path to the ACM Turing Award

Apt, Krzysztof

doi:10.1145/3816707

In 1980 Tony Hoare received the ACM Turing Award "for his fundamental contributions to the definition and design of programming languages". This article examines the achievements that led to this award.

Additional Metadata
Keywords	Tony Hoare, Period 1961-1977, ACM Turing award
Persistent URL	doi.org/10.1145/3816707
Journal	Formal Aspects of Computing
Rights	creativecommons.org/licenses/by/4.0
Organisation	Networks and Optimization
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Apt, K. (2026). Tony Hoare: his path to the ACM Turing Award. Formal Aspects of Computing, 38(2), 13:1–13:20.https://doi.org/10.1145/3816707