Pages that link to "Q92602"
Jump to navigation
Jump to search
The following pages link to Tony Hoare (Q92602):
Displaying 50 items.
- Andrey Kolmogorov (Q153224) (← links)
- quicksort (Q486598) (← links)
- communicating sequential processes (Q1120460) (← links)
- Hoare logic (Q1375924) (← links)
- ALGOL W (Q1538458) (← links)
- Unifying Theories of Programming (Q3513774) (← links)
- quickselect (Q3927837) (← links)
- Alan Turing Centenary Conference (Q4707938) (← links)
- Bill Roscoe (Q4910708) (← links)
- Cliff Jones (Q5132649) (← links)
- Dines Bjørner (Q5278058) (← links)
- He Jifeng (Q5688822) (← links)
- Jim Woodcock (Q6199027) (← links)
- Leslie Fox (Q6530813) (← links)
- Prentice Hall International Series in Computer Science (Q7240552) (← links)
- Paritosh Pandya (Q15713163) (← links)
- Augusto Sampaio (Q16466596) (← links)
- The emperor's old clothes (Q29029268) (← links)
- Quicksort (Q29305736) (← links)
- Programming: Sorcery or Science? (Q29394986) (← links)
- Recursive data structures (Q29544937) (← links)
- An axiomatic basis for computer programming (Q55867309) (← links)
- Monitors: an operating system structuring concept (Q55880533) (← links)
- Algorithm 64: Quicksort (Q55952563) (← links)
- Edsger Wybe Dijkstra (Q56047780) (← links)
- Semantics of nondeterminism, concurrency and communication (Q56092890) (← links)
- Communicating sequential processes (Q56210209) (← links)
- A Theory of Communicating Sequential Processes (Q56210213) (← links)
- Proof of a program: FIND (Q56656273) (← links)
- Proof of correctness of data representations (Q56656274) (← links)
- ViewpointRetrospective (Q56656275) (← links)
- The quality of software (Q56814563) (← links)
- Formal Methods (Q56939969) (← links)
- A Tree Semantics of an Orchestration Language (Q60308239) (← links)
- Concurrent and Distributed Systems (Q60719278) (← links)
- An Algebraic Approach to Verifiable Compiling Specification and Prototyping of the Procos Level 0 Programming Language (Q60719330) (← links)
- How Did Software Get So Reliable Without Proof? (Q65951249) (← links)
- Anders P. Ravn (Q66104390) (← links)
- Jill Pym (Q75436460) (← links)
- (Q75436462) (redirect page) (← links)
- Henry Samuel Malortie Hoare (Q75436464) (← links)
- Marjorie Francis Villiers (Q75582301) (← links)
- Data corruption (Q93721050) (← links)
- William James Stewart (Q102123692) (← links)
- Stephen D. Brookes (Q102196132) (← links)
- David Andrew Naumann (Q102202739) (← links)
- Andrew Philip Black (Q102251377) (← links)
- Peter Lauer (Q102254791) (← links)
- Jeremy Jacob (Q102340422) (← links)
- Masud Malik (Q102368595) (← links)