Theories of programming. The life and works of Tony Hoare
behavioral semanticscommunicating sequential processescomputer science educationefficient abstractionsscientific biographyunifying theories of programmingverified software initiative
Collections of articles of miscellaneous specific interest (00B15) Biographies, obituaries, personalia, bibliographies (01A70) History of computer science (68-03) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
- Thoughtsticker 1986: a personal history of conversation theory in software, and its progenitor, Gordon Pask
- Insight, inspiration and collaboration
- Forward with Hoare
- scientific article; zbMATH DE number 194003 (Why is no real title available?)
- The B-Book
- scientific article; zbMATH DE number 1487470 (Why is no real title available?)
- scientific article; zbMATH DE number 1531624 (Why is no real title available?)
- Principled software development. Essays dedicated to Arnd Poetzsch-Heffter on the occasion of his 60th birthday. Selected papers based on the presentations at the symposium, Kaiserslautern, Germany, November 2018
- scientific article; zbMATH DE number 786483 (Why is no real title available?)
- scientific article; zbMATH DE number 910714 (Why is no real title available?)
- CV
- Concurrency. The works of Leslie Lamport
- Editorial. On being a PhD student of Robert Harper
- Jifeng He at Oxford and beyond: an appreciation
This page was built for publication: Theories of programming. The life and works of Tony Hoare
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5157282)
