當前位置 主頁 > 站長資源大全 > iis7百科 > 最大化 縮小

    程序設計公理化創始人——查爾斯·霍爾

    欄目:iis7百科 時間:2019-11-13 09:10

      指針就像跳轉一樣,瘋狂地在數據結構之間到處指來指去。在高級語言里面引入指針是個退步。我們可能永遠無法從這一失敗之中恢復過來。這段話出自查爾斯·霍爾(Charles A.R.Hoare),1980年他因“對程序設計語言的定義和設計方面的基礎性貢獻”而獲得圖靈獎。他26歲就發明了聞名于世的快速排序算法Quicksort。
      霍爾獲獎無數,1980年獲得美國計算機學會(ACM)設立的計算機界最高獎——圖靈獎;1981年獲得AFIPS的HarryGoode獎;1985年獲得英國IEE的法拉第獎章;1990年被IEEE授予計算機先驅獎。2000年獲得日本稻盛財團設立的國際大獎——京都獎(尖端技術領域)。
      2009年3月他在Qcon技術會議上發表了題為“Null引用:代價十億美元的錯誤”的演講,回憶自己1965年設計第一個全面的類型系統時,未能抵御住誘惑,加入了Null引用,僅僅是因為實現起來非常容易。它后來成為許多程序設計語言的標準特性,導致了數不清的錯誤、漏洞和系統崩潰,可能在之后40年中造成了十億美元的損失。他在同月出版Communications of the ACM中表示,如何證明程序的正確性仍然是計算機科學中有待解決的重大課題。
      1960年,霍爾進入Elliott兄弟倫敦公司,成為一名程序員。他接到的第一個任務,就是為Elliott 803計算機編寫一個庫程序,實現新發明出來的Shell排序算法。在此過程中,霍爾對不斷提升代碼的效率著了迷,他不僅很好地完成了任務,還發明了一種新算法,比Shell還快,而且不會多耗費太多空間——Quicksort誕生了。
      隨后,霍爾又接到了新任務——在公司新機型Elliott 503上實現Algol 60語言。Elliott Algol的開發非常順利,大獲成功,霍爾本人也從此受到國際學術界的重視。當然,對他來說,另一件事情更為重要,他和項目中另一位當時比自己更專業的女程序員Jill Pym相識相知,并最后結婚。
      霍爾發表過許多高水平的論著。ACM在1983年評選出最近25年中發表在Communications of the ACM上的有里程碑式意義的25篇經典論文,只有2名學者各有2篇論文入選,霍爾就是其中之一。1972年他與O.J. Dahl和E. W. Dijkstra三位圖靈獎得主合著的Structured Programming一書,更是難以逾越的高峰。
在线观看中文字幕理论片