A hard act to follow

DOI10.1023/A:1010053724918zbMath0951.01025OpenAlexW2107529326MaRDI QIDQ1566869

C. A. R. Hoare

Publication date: 4 December 2000

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1010053724918

zbMATH Keywords

Christopher Strachey

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70)

Related Items (4)

A semantics for concurrent separation logic ⋮ Resources, concurrency, and local reasoning ⋮ The temporal semantics of concurrent programs ⋮ Transformational semantics for concurrent programs

This page was built for publication: A hard act to follow