国产玉足榨精视频在线_亚洲日韩国产第一区_男人都懂的网站在线观看免费_久久91亞洲精品中文字幕奶水_按摩房技师激情国产精品_无人在线观看视频在线观看_年轻女教师2免费播放_欧洲熟妇色xxⅩx欧美老妇多毛_91爱视频成人在线第一页_欧美日韩中文字幕成人网

日志樣式

貴陽網(wǎng)站建設(shè)需要多少錢(uiuc圖靈獎得主)圖靈獎得主排名大學(xué),

編輯:Aeneas 好困【新智元導(dǎo)讀】Euler和Pascal語言發(fā)明者、1984年圖靈獎獲得者Niklaus Wirth在24年的第一天離開了我們,許多開發(fā)者都為他編程語言的簡潔所驚嘆2024年的第一天,又一位圖靈獎得主離開了我們。

Niklaus Wirth于1月1日去世,世界失去了編程語言、編程方法、軟件工程和硬件設(shè)計的泰斗。

Niklaus E. Wirth是一位瑞士計算機科學(xué)家,他因在編程語言設(shè)計方面的杰出貢獻,包括創(chuàng)建了Pascal語言,以及在軟件工程領(lǐng)域的一系列開創(chuàng)性工作,榮獲了1984年的圖靈獎除了圖靈獎外,Wirth還在1988年獲得了IEEE計算機先鋒獎,以及IBM歐洲科學(xué)技術(shù)獎。

并于1992年成為瑞士工程科學(xué)院院士,在1994年被選為美國國家工程學(xué)院院士。

Wirth在計算機科學(xué)領(lǐng)域撰寫了十幾部著作,包括1975年的《Algorithms + Data Structures = Programs》(算法 + 數(shù)據(jù)結(jié)構(gòu) = 程序)、1986年的《Algorithms & Data Structures》(算法與數(shù)據(jù)結(jié)構(gòu))、1995年的《Digital Circuit Design》(數(shù)字電路設(shè)計)和1996年的《Compiler Construction》(編譯器構(gòu)建)。

網(wǎng)友們痛心表示:讓我們哀悼這位先驅(qū)、同事、導(dǎo)師和朋友。

「我喜歡《編譯器構(gòu)造》這本書。Wirth對簡潔的強調(diào),對我是巨大的啟發(fā)?!?/p>

「Pascal是我在迷上Fortran和BASIC后,喜歡的第一種語言。」

生平

Niklaus E. Wirth在瑞士長大,并在蘇黎世的瑞士聯(lián)邦理工學(xué)院(ETH)度過了職業(yè)生涯的大部分時間1959年,他在ETH獲得了首個學(xué)位,隨后前往北美深造,并于1963年獲得了UC伯克利的博士學(xué)位。

在斯坦福大學(xué)任教一段時間之后,他于1968年返回ETH1981年,他是創(chuàng)建世界頂尖計算機科學(xué)系的關(guān)鍵人物,并在1980年代的大部分時間里,擔(dān)任該系的系主任1999年,Wirth退休了,但他還繼續(xù)在校園里,頻繁露面了很多年。

兩種編程語言之所以在計算機科學(xué)界嶄露頭角,是因為他創(chuàng)造了兩種編程語言:一種是基于他博士論文工作的Euler,另一種是為IBM System/360系列計算機設(shè)計的系統(tǒng)編程語言PL360這兩種語言都深受Algol語言的影響。

Wirth是lgol項目的國際精英團隊的成員之一,就是在這個團隊的共同努力下,才定義并實現(xiàn)了一系列語言標準。

他取得了許多開創(chuàng)性成就,將編程語言的語法與語義明確區(qū)分,開發(fā)了新穎的實現(xiàn)技術(shù),為了特定的解析方法進行了精細的語言設(shè)計早期的高級語言(比如FORTRAN),因為能顯著簡化應(yīng)用程序的編寫和維護而廣受歡迎然而,對計算機公司來說,這些語言難以實現(xiàn),原因是當(dāng)時的硬件條件非常有限,編譯技術(shù)還不夠成熟,而這些語言或是設(shè)計粗糙,或是過分復(fù)雜。

Algol小組最杰出的成果Algol 60,引入了遞歸函數(shù)、結(jié)構(gòu)化代碼塊和局部變量的概念,率先正式描述了編程語言的語法結(jié)構(gòu)。

在1957年,計算機科學(xué)界尚未建立起學(xué)術(shù)部門和定期的學(xué)術(shù)會議,而Algol項目為這一新興學(xué)科的發(fā)展打下了重要基礎(chǔ)通過參與Algol項目,Wirth與包括C.A.R. (Tony) Hoare、Edsger Dijkstra和Peter Naur在內(nèi)的未來圖靈獎得主們進行了合作。

加入這個團隊,他們需要展示自己在編譯器和其他系統(tǒng)軟件設(shè)計方面的杰出才能當(dāng)時計算機科學(xué)家們面臨的最大挑戰(zhàn),就是這些軟件的開發(fā)不過,1966年時,Wirth和Algol小組發(fā)生了分歧Wirth提出將Algol 60結(jié)合他自己設(shè)計的語言EULER進行擴展和改進,Algol小組給這個提案投了反對票。

他們選擇了一個競爭方案Algol 68,這個設(shè)計異常復(fù)雜,包含了許多創(chuàng)新但難以實現(xiàn)的功能在1968年,Wirth選擇離開了這個小組隨后,他與Tony Hoare合作,把這個未獲采納的提案發(fā)展成了一個新的非官方Algol版本,即Algol-W。

Pascal的誕生以Algol-W為基礎(chǔ),Wirth開發(fā)出了他最具影響力的編程語言——PascalPascal的設(shè)計遵循了Wirth的個人審美:簡潔、靈活,可以快速地編譯出高效的代碼它繼承了Algol的代碼結(jié)構(gòu)、邏輯完整性以及對遞歸的支持,同時將復(fù)雜的東西簡化,添加了對復(fù)雜和用戶自定義數(shù)據(jù)類型的支持。

Wirth后來指出,他遵循的一個重要原則是:「只包括那些被深入理解的特性(尤其是對于開發(fā)者而言),忽略那些尚未嘗試和實現(xiàn)的特性」1971年,蘇黎世聯(lián)邦理工學(xué)院開始采用Pascal進行教學(xué),同時Pascal迅速傳播到了其他大學(xué)。

為了在不同類型的計算機上運行Pascal,Wirth設(shè)計了一種新型的編譯器,這種編譯器能為虛擬機編寫代碼,并且在虛擬機上運行只需在新計算機上模擬這個虛擬機,就可以輕松地移植他的編譯器隨著個人計算機的廣泛普及,Pascal很快成為了主流編程語言。

它的簡潔和高效非常適應(yīng)個人計算機有限的內(nèi)存和磁盤空間Borland推出了價格實惠、編譯速度快的Turbo Pascal編譯器,進一步鞏固了Pascal在1980年代作為個人計算機軟件開發(fā)中,領(lǐng)先的高級編程語言的地位。

在20世紀70年代,Wirth和其他Algol項目的資深成員,如Edsger Dijkstra和Tony Hoare,一起致力于研究編程方法論和形式方法他參與了國際信息處理聯(lián)合會 (IFIP) 編程方法學(xué)工作組的工作,提倡通過逐步精化代碼的方式,來補充他們提出的結(jié)構(gòu)化編程的各種理念。

他的著作《系統(tǒng)化編程 (Systematic Programming) 》和《算法 + 數(shù)據(jù)結(jié)構(gòu) = 程序 (Algorithms + Data Structures = Programs) 》,對于編程方法和概念貢獻極大。

親手打造系統(tǒng)的頂級科學(xué)家不同于許多同行,Wirth一直是一個全面的實踐型系統(tǒng)構(gòu)建者他在學(xué)術(shù)工作的細分領(lǐng)域中不懈努力,取得了顯著的成就,并成功地阻止了將語言設(shè)計、操作系統(tǒng)、硬件、圖形和網(wǎng)絡(luò)劃分為不同專業(yè)領(lǐng)域的趨勢。

在20世紀50年代和60年代初,許多具有深遠影響的軟件系統(tǒng),都是由小型的學(xué)術(shù)或工業(yè)團隊為了解決實際問題而開發(fā)的然而,到了70年代和80年代,工業(yè)軟件的規(guī)模大幅增長,大學(xué)與企業(yè)實驗室的計算機科學(xué)研究則更多轉(zhuǎn)向理論和基礎(chǔ)研究。

在這樣的背景下,像Wirth這樣嘗試親手打造完整生產(chǎn)級系統(tǒng)的頂級計算機科學(xué)家就變得格外罕見,尤其是在大學(xué)環(huán)境中休假回來,構(gòu)建了Lilith1976年,Wirth在施樂的研究中心(PARC)休假期間,受到了新興工作站技術(shù)的啟發(fā),回到ETH后領(lǐng)導(dǎo)了一個項目,目標是構(gòu)建一款全新的圖形工作站。

這款工作站名為Lilith,它提供了一個完備的計算環(huán)境,配備了Medos操作系統(tǒng)、高速局域網(wǎng)、包括文本和圖形編輯器在內(nèi)的應(yīng)用軟件,以及激光打印機。

Lilith的新編程語言Modula-2在Pascal的基礎(chǔ)上增加了對并發(fā)處理和代碼模塊化的支持到了1980 年,第一批Lilith系統(tǒng)已經(jīng)投入使用,在ETH以及其他一些大學(xué)推廣開來幾年后,他再次展示了自己的非凡才華,領(lǐng)導(dǎo)開發(fā)了Ceres工作站及其操作系統(tǒng),同時還創(chuàng)造了新的面向?qū)ο缶幊陶Z言和操作系統(tǒng)Oberon。

從1980年代中期到1990 年代,ETH多次使用這些技術(shù)

盡管Modula-2和Oberon沒有Pascal那樣廣泛的影響,但它們被遷移到商業(yè)計算機上,并應(yīng)用于計算機科學(xué)的教學(xué)Oberon在不同類型的計算機上實現(xiàn)了程序的可移植性,這種特性后來被Java發(fā)揚光大。

1980年代,Wirth對硬件設(shè)計的參與更加深入計算機硬件和軟件的設(shè)計都充滿挑戰(zhàn),大部分人只能專注一個領(lǐng)域,但Wirth卻能兩者兼顧他緊跟最新技術(shù),利用現(xiàn)場可編程門陣列(FPGA)——一種可以根據(jù)特定應(yīng)用重新編程的特殊芯片——開發(fā)了語言和工具,使得從高層規(guī)范出發(fā)能夠高效地配置FPGA。

因為他,ETH成為特殊的地方在MIT、劍橋大學(xué)和曼徹斯特大學(xué)的計算機科學(xué)團隊停止自主制造計算機和操作系統(tǒng)數(shù)十年后,Wirth使得ETH成為一個特殊的地方在這里,計算機科學(xué)學(xué)生和教師用的是內(nèi)部生產(chǎn)的硬件、操作系統(tǒng)和編程工具。

Wirth堅信,在學(xué)生嘗試寫代碼之前,他們應(yīng)該先閱讀并理解真實系統(tǒng)的代碼。

他一生都在追求簡潔、優(yōu)雅和高效的系統(tǒng),這正符合他「將理論與實踐相結(jié)合」的承諾在Wirth1984年的圖靈獎講座中,他提出了一個觀點——我們必須從一開始就辨清哪些是核心要素,哪些是暫時的,并且要確保這些暫時的元素永遠不會影響到核心設(shè)施的系統(tǒng)性和結(jié)構(gòu)化設(shè)計。

他說,每個項目本質(zhì)上都是一個學(xué)習(xí)的試驗場創(chuàng)新是學(xué)習(xí)的最好方式只有親手進行開發(fā)項目,我才能深刻理解困難所在,并有信心克服這些困難中的每一個細節(jié)能夠創(chuàng)建復(fù)雜高效的系統(tǒng),是源于他對簡潔之美的不懈追求——究竟哪些是非必需的。

隨著時間的推移,他在語言設(shè)計和編譯技術(shù)上的成就,變得更為簡明和高效,這與大多數(shù)情況下軟件變得更慢、更復(fù)雜形成鮮明對比他在1995年提出警告:「軟件膨脹并非不可避免的自然現(xiàn)象,遏制這一現(xiàn)象正是軟件工程師的責(zé)任。

」名言- 實際上,一個程序?qū)ζ淠繕说淖兓ㄍǔ7Q為可維護性)和對環(huán)境變化的適應(yīng)性(現(xiàn)稱為可移植性)主要可以通過其結(jié)構(gòu)的整潔性來衡量- 但是,真正積極的編程活動涉及的是新程序的設(shè)計,而不是對舊程序的反復(fù)思考。

- 很明顯,編程課程應(yīng)當(dāng)教授設(shè)計與建造的方法,而且選用的例子應(yīng)該能夠清晰地展示出程序逐步發(fā)展的過程- 在逐步細化的過程中,應(yīng)盡可能長時間使用與當(dāng)前問題直接相關(guān)且自然的表示法- 經(jīng)驗告訴我們,編程課程是否成功,很大程度上取決于這些示例的選擇。

- 在實際的計算機編程領(lǐng)域,一個程序一旦運行正確且表現(xiàn)滿意,就永遠不再更改,這種情況其實是非常罕見的- 編程通常是通過實例來進行教學(xué)的參考資料:https://amturing.acm.org/award_winners/wirth_1025774.cfm。

舉報/反饋