Tag Archives: C.A.R Hoare

程式設計的公設基礎:四十年後

1969 年,C.A.R. Hoare 在 Communication of the ACM (12(10):576–580) 發表論文 An Axiomatic Basis for Computer Programming,在文中提出後來被稱作 Hoare 邏輯的一套公設系統, 被認為是計算科學史上最重要的幾篇論文之一。時間轉眼間過去了,今年已經是這篇論文的四十歲生日。

Posted in 人物, 計算算計 | Also tagged , , | 2 Responses