Statements (39)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:physicist
|
| gptkbp:bfsLayer |
5
|
| gptkbp:bfsParent |
gptkb:Luton_Hoo_Estate
|
| gptkbp:alma_mater |
gptkb:University_of_Cambridge
|
| gptkbp:awards |
gptkb:Turing_Award
Fellow of the Royal Society |
| gptkbp:birth_date |
1934-01-30
|
| gptkbp:birth_place |
gptkb:Bristol,_England
|
| gptkbp:field |
gptkb:computer_science
|
| https://www.w3.org/2000/01/rdf-schema#label |
Richard Hoare
|
| gptkbp:influenced |
gptkb:Tony_Hoare
|
| gptkbp:influenced_by |
gptkb:Alan_Turing
|
| gptkbp:known_for |
Hoare logic
Quicksort algorithm |
| gptkbp:nationality |
gptkb:British
|
| gptkbp:occupation |
gptkb:University
gptkb:physicist |
| gptkbp:work |
gptkb:Communicating_Sequential_Processes
The Hoare Logic for Concurrent Programs The Hoare Logic for Distributed Systems The Hoare Logic for Model Checking The Hoare Logic for Object-Oriented Programs The Hoare Logic for Program Analysis The Hoare Logic for Program Debugging The Hoare Logic for Program Maintenance The Hoare Logic for Program Optimization The Hoare Logic for Program Profiling The Hoare Logic for Program Refactoring The Hoare Logic for Program Synthesis The Hoare Logic for Program Testing The Hoare Logic for Program Transformation The Hoare Logic for Program Verification The Hoare Logic for Real-Time Systems The Hoare Logic for Security Protocols The Hoare Logic for Software Verification The Hoare Logic for Type Systems The Hoare Type System The Logic of Programming The Verifying Compiler |