跳转到内容

克里斯托弗·斯特雷奇

维基百科,自由的百科全书
(重定向自Christopher Strachey)
克里斯托弗·斯特雷奇
Christopher Strachey
出生(1916-11-16)1916年11月16日
英國英格蘭漢普斯特德
逝世1975年5月18日(1975-05-18)(58歲)
英國英格蘭牛津
国籍英國
母校劍橋大學(BA)
知名于CPL語言
指稱語義
分時系統
父母奧利佛·斯特雷奇(英语:Oliver Strachey)(父)
雷·科斯特洛(英语:Ray Strachey)(母)
科学生涯
研究领域計算機科學
机构劍橋大學
牛津大學
坎特伯雷聖埃德蒙學校(英语:St Edmund's School Canterbury)
哈羅公學
博士生彼得·摩西
大衛·特納(英语:David Turner (computer scientist))

克里斯托弗·斯特雷奇(英語:Christopher Strachey,1916年11月16日—1975年5月18日)是一名出生於英國英格蘭倫敦汉普斯特德的計算機学者。他是指称语义最早的提出者之一,也是程式語言設計的先驅,發展了程式語言CPL。

生平

[编辑]

克里斯托弗·斯特雷奇出身於斯特雷奇家族(英语:Strachey family),其父為奧利佛·斯特雷奇(英语:Oliver Strachey),其母為雷·科斯特洛(英语:Ray Strachey)。

1935年,斯特雷奇進入劍橋大學國王學院就讀,最初主修數學,後來轉向物理學。在大學第三年時,可能因為他的同性戀傾向,使他神經衰弱,無法完成學業。他回家休養之後,雖然曾試圖重返校園,但仍然無法完全恢復。在休學後,進入標準電話與電纜(英语:Standard Telephones and Cables)公司,擔任物理學研究員。

贡献

[编辑]

1959年6月,斯特雷奇在国际信息处理大会(International Conference on Information Processing)上发表论文《大型高速计算机中的时间共享》("Time Sharing in Large Fast Computer")。斯特雷奇在文中提出了虚拟化概念,还论述了什么是虚拟化技术。

1960年,斯特雷奇提出了“一等公民”,意指函数可作为电脑语言中的第一类公民。

1967年把多态定义为两个分支:特设多态和通用多态,成为面向对象编程的基础之一。[1]

参考资料

[编辑]
  1. ^ C. Strachey, Fundamental concepts in programming languages, Notes for the International Summer School in Computer Programming, Copenhagen (1967)