Prof. Sir Tony Hoare
Jobs
- emeritus professor of computing - Oxford University Computing Laboratory, senior researcher - Microsoft
-
The ideal of program correctness
- Grand Challenges of Informatics (Conference)
Presenters:
- Prof. Sir Tony Hoare
- Time of recording: September 19, 2006
- Views: 578
-
Questions & Answers
- Software Technology Forum (9th) (discourse)
Presenters:
- Prof. Sir Tony Hoare
- Time of recording: October 6, 2004
- Views: 427
-
The verifying compiler: a Grand Challenge for computing research
- Software Technology Forum (9th) (discourse)
Presenters:
- Prof. Sir Tony Hoare
- Time of recording: October 6, 2004
- Views: 490