Review on Theories of Programming: The Life and Works of Tony Hoare

DOI10.1145/3560267WikidataQ130988849 ScholiaQ130988849MaRDI QIDQ6120984

Jonathan P. Bowen

Publication date: 23 February 2024

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) History of computer science (68-03) External book reviews (00A17)

Related Items (1)

Jifeng He at Oxford and beyond: an appreciation

This page was built for publication: Review on Theories of Programming: The Life and Works of Tony Hoare