Charles_Antony_Richard_Hoare
Charles_Antony_Richard_Hoare

Charles_Antony_Richard_Hoare

Sir Charles Antony Richard Hoare (Tony Hoare hay C.A.R. Hoare, sinh ngày 11 tháng 1 năm 1934) là một nhà khoa học máy tính người Anh, có lẽ nổi tiếng nhất vì đã phát triển giải thuật Quicksort (hay Hoaresort), một trong những giải thuật sắp xếp được sử dụng nhiều nhất thế giới, vào năm 1960. Ông cũng phát triển luận lý Hoare để kiểm tra tính đúng đắn của chương trình, và ngôn ngữ hình thức CSP (Communicating Sequential Processes) được dùng để xác định sự giao tiếp giữa các tiến trình đồng thời (trong đó có Bài toán bữa ăn tối của các triết gia) và là người truyền cảm hứng cho ngôn ngữ lập trình Occam.

Tài liệu tham khảo

WikiPedia: Charles_Antony_Richard_Hoare http://www.kierberg.com/videos/advice-for-phd-stud... http://research.microsoft.com/users/thoare/ http://www.usingcsp.com/ http://www.cbi.umn.edu/oh/display.phtml?id=343 http://portal.acm.org/citation.cfm?id=358561 http://www.acm.org/ubiquity/views/v7i24_fallacy.ht... //doi.org/10.1145%2F358549.358561 //www.worldcat.org/search?fq=x0:jrnl&q=n2:0001-078... http://web.comlab.ox.ac.uk/oucl/people/tony.hoare.... https://web.archive.org/web/20080201122504/http://...