David May (computer scientist)

razor）原則。 occam是一種類似於Pascal的指令式过程式編程語言。這個語言於1983年出現，由英國計算機科學家David May（英语：David May (computer scientist)），以及Inmos（英语：Inmos）公司的科學家，在東尼·霍爾提供顧問意見後，共同研發而成。

David May（英语：David May (computer scientist)）开发的并建立在通信顺序进程（CSP）之上，CSP是Tony Hoare开发的进程代数系统。 occam C语言 通信顺序进程 Handel-C David May. The XMOS XS1

paradigms of computer science . . . the book should be read by every self-respecting computer scientist. ——Mitchell Wand，American Scientist

1973年爱丁堡大学的Robin Milner发明了ML语言，它的语法受到了ISWIM的启发。同年，David Turner（英语：David Turner (computer scientist)）在圣安德鲁斯大学开发了SASL语言，它基于了ISWIM的应用式子集。在1976年，Turner重新

transcript of oral history with computer pioneers, including Albert B. Tonik, involved with the UNIVAC computer, held on 17–18 May 1990. Der Freiburger Code