當前位置:名人名言大全網 - 名人名言 - 迪克斯特拉的論文和作品

迪克斯特拉的論文和作品

Dijkstra提出的最弱前提條件概念和相應的編程演算使編程和驗證可以同時進行,具有非常重要的理論意義和實用價值,極大地促進了編程成為壹個科學的過程。

Dixtra在1984結束了她在Bora的自由研究員生涯,並受邀成為奧斯汀德克薩斯大學計算機科學系的名譽主任。

Dixtra的作品很多,主要包括:

Algol 60編程介紹(Algol 60編程入門,學術版。, 1962).

程序設計的訓練方法(程序設計的壹門學科,prentice-hall,1976)。

編程的教學就是思維方法的教學(編程的教學即思維的教學,Springer,1976)。

計算寫作精選:個人觀點,施普林格,1982。這本書是從他發給博拉公司的大量通信中精選出的60多份最重要、最有意義的通信資料匯編而成,反映了他當時的觀點和研究成果。

壹種編程方法(Addison- Wesley,1988)。

程序和證明的形式開發(Addison-Wesley,1990)。

謂詞演算和程序語義(Springer,1990)

除了獲得圖靈獎,Dixtra還以1974獲得了AFIPS頒發的HarryGoode獎。

Dixtra於8月1972日在波士頓舉行的ACM年會上獲得圖靈獎。發表了題為《卑微的程序員》的圖靈獎演講,發表在《ACM通訊》1973,10,859-866頁。見ACM圖靈獎前20年講座:1966-1985,ACM PR。),第17-32頁。他在演講中肯定了Fortran、Algol、LISP等語言,但對於PL/I,他認為是失敗的。演講的重點是如何構建可靠的軟件,如何避免在編程時引入錯誤,而不是在後來消除錯誤,這不僅具有技術意義,在經濟上也非常重要。Dixtra的上述觀點贏得了越來越多人的理解和支持。

1989年,為了慶祝迪克西莉亞的60歲生日,著名計算機學者、迪克西莉亞的長期合作者W. H. J .金飛共同編撰了壹本紀念文集,書名引用了迪克西莉亞的另壹句名言:美是我們的事(Springer,198)。書中收錄了他的同事、朋友和學生寫的53篇文章,其中包括4位圖靈獎得主,分別是霍爾(C. A. R. Hoare,1980)、克納特(D. Knuth,1974)和沃思(N. Wirth,65438+)。有趣的是,在1966中,Knut在《解決並發程序控制中的壹個問題》壹文中對Dixtra提出的方案提出了批評,認為這個方案可能會讓壹個特定的進程“餓死”,即永遠被阻塞,無法獲得所需的資源。他提出了壹個“不餓死”的計劃。然而,壹些批評者指出,克努特的方案比迪特拉的方案更復雜,並不壹定更可靠。顯然,學術上的爭論並沒有阻止這兩位計算機大師成為好朋友。

在與癌癥抗爭多年後,迪特拉於2002年8月6日在荷蘭紐南的家中去世。