尼克劳斯·埃米尔·维尔特(德語:Niklaus Emil Wirth,1934年2月15日—2024年1月1日),生於瑞士溫特圖爾,是瑞士計算機科學家。

尼克劳斯·维尔特
Niklaus E. Wirth
2005年时的Wirth
出生(1934-02-15)1934年2月15日
 瑞士蘇黎世州溫特圖爾
逝世2024年1月1日(2024-01-01)(89歲)
 瑞士蘇黎世
国籍 瑞士
母校ETH Zurich
拉瓦尔大学
柏克萊加州大學
知名于Algol WEulerPascalModulaModula-2OberonOberon-2Oberon-07Oberon System
奖项圖靈獎SIGPLAN Programming Languages Achievement Award
科学生涯
研究领域計算機科學
机构ETH Zurich
史丹佛大學
蘇黎世大學
Xerox PARC
1969年时的尼克劳斯·维尔特

從1963年到1967年,他成為斯坦福大学的計算機科學部助理教授,之後又在苏黎世大学擔當相同的職位。1968年,他成為苏黎世联邦理工学院信息学教授,又往施乐帕洛阿尔托研究中心進修了兩年。

他是好幾种編程語言的主設計師:

他亦是Euler語言的發明者之一。1984年他因發展了這些語言而獲图灵奖。他亦是Lilith電腦Oberon系統的設計和執行隊伍的重要成員。

他的文章Program Development by Stepwise Refinement視為軟體工程中的經典之作。他寫的一本書的書名Algorithms + Data Structures = Programs算法+数据结构=程式)是計算機科學的名句。

姓名

编辑

尼克劳斯·维尔特的姓名曾以不准确的英文讀法,被譯為「尼古拉斯·沃斯」(或「沃思」)。歐洲人通常都將他的名字讀得正確,讀作「Nih-klaus Virt」;但美國人通常讀成「Nickel's Worth」近似的音。於是有人便開玩笑說,歐洲人用傳址呼叫(Call by Address)叫他,美國人用傳值呼叫(Call by Value)叫他(「傳值呼叫」英文雙關「按照價值稱呼」,而「Nickel's Worth」中文意為「尼可的價值」)。

轶闻

编辑

尼克劳斯·维尔特于1995年提出了一条幽默定律:

参考资料

编辑
  1. ^ Wirth, Niklaus. A Plea for Lean Software. Computer. February 1995, 28 (2): pp. 64–68 [2007-01-13]. doi:10.1109/2.348001. (原始内容存档于2008-11-20). 

外部連結

编辑

📚 Artikel Terkait di Wikipedia

守卫命令语言

Algorithms, Prentice Hall, 1990  Back, Ralph J. On the Correctness of Refinement Steps in Program Development (Phd-Thesis) (PDF). 1978 [2021-02-17]. (原始内容 (pdf)存档于2011-07-20)

里氏替换原则

參考透明度(英语:Referential transparency)(Referential transparency) 求精法 (編程計算)(英语:Refinement (computing))(Refinement (computing)) 組合優於繼承(英语:Composition over inheritance)(Composition

資料倉儲

language) 技术和转换 恒等变换 合成(英语:Program synthesis) 精致化(英语:Refinement (computing)) 应用程序 数据迁移 数据变换(英语:Data conversion) ETL 程序变换(英语:Program transformation) 应用领域 数据仓库

元数据

language) 技术和转换 恒等变换 合成(英语:Program synthesis) 精致化(英语:Refinement (computing)) 应用程序 数据迁移 数据变换(英语:Data conversion) ETL 程序变换(英语:Program transformation) 应用领域 数据仓库

依值类型

渐进类型(英语:Gradual typing) 交集类型(英语:Intersection type) 潜在类型(英语:Latent typing) 细化类型(英语:Refinement type) 子结构类型(英语:Substructural type system) 唯一类型(英语:Uniqueness type) 会话类型(英语:Session

鸭子类型

Feathers() { Console.WriteLine("这人在地上拿起1根羽毛然后给其他人看"); } } internal class Program { private static void InTheForest(dynamic duck) { duck.Quack(); duck.Feathers();

行星保护

1016/S0273-1177(02)00479-9.  D. L. DeVincenzi; P. Stabekis & J. Barengoltz. Refinement of planetary protection policy for Mars missions. Advances in Space Research

配合物稳定常数

; Ingri, N; Sillen, L.G. Pit-mapping - A general approach to Computer refinement of stability constants.. Acta Che. Scand. 1961, 15: 694–696. doi:10.3891/acta