丹尼爾·弗里德曼（英語：Daniel Paul Friedman，生於1944年），在美國印第安納大學伯明頓分校擔任電腦科學教授，專攻程式語言研究領域，為該領域的權威。
| 丹尼爾·弗里德曼博士 | |
|---|---|
| 知名於 | 程式語言 |
| 科學生涯 | |
| 研究領域 | 電腦科學 |
1976年他和David Wise合作發表了影響深遠的論文《Cons should not evaluate its arguments》 [1] 。
在接下來的八十年代，他轉而研究Scheme語言，探討了用宏來定義程式語言。他和其他幾位作者合作發表了被至今仍廣泛參照的論文，引入了乾淨宏（Hygienic macro）的概念[2]。和Haynes以及Wand, 他同時研究了續體對象的本質、使用及約束可能性。[3] 隨後，他和Felleisen向λ演算引入了續體和以當前續體呼叫。[4] 他們的工作催生了在經典邏輯和計算以及續體的實際擴充之間的語意和聯絡方面的研究。
弗里德曼博士是位多產的教科書作者。他的第一本著作《The Little Lisper》寫於1974年，時至今日再版第四版了，書更名為《The Little Schemer》。在1990年代，他和Felleisen撰寫發布了另外三本little系列叢書，《The Little MLer》, 《The Seasoned Schemer》, 和《A Little Java, A Few Patterns》。
弗里德曼博士是《Essentials of Programming Languages》的主要作者。這本書於1980年代出版，改變了程式語言領域的面貌，將重點從盤點各種程式語言轉為通過直譯器來研究程式語言的原則。今天這個領域的其他教科書都遵循此方向，只是用實作語意和類型理論代替了直譯器。 和 《The Little LISPer》一樣, 《Essentials of Programming Languages》長盛不衰，目前已為第三版。
最近，弗里德曼博士和Byrd、Kiselyov一起撰寫《The Reasoned Schemer》，通過Scheme 語言的一個擴充來解釋邏輯編程。
2015年，弗里德曼博士和Carl Eastlund出版了《The Little Prover》，並公開輔助證明程式「J-Bob」的原始碼。
參考
書籍
外部連結
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
