丹尼爾·福瑞得曼
| 丹尼爾·弗里德曼博士 | |
|---|---|
| 知名於 | 程式語言 |
| 科學生涯 | |
| 研究領域 | 電腦科學 |
丹尼爾·弗里德曼（英語：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」的原始碼。
參考[編輯]
- ^ Friedman, Daniel P. Cons should not evaluate its arguments. ICALP. 1976.
- ^ Friedman, Daniel P. Hygienic Macros. ACM Lisp and Functional Programming. 1986.
- ^ Friedman, Daniel P. Constraining Control. ACM Principles of Programming Languages. 1984.
- ^ Friedman, Daniel P. Reasoning with Continuations l. IEEE Logic in Computer Science. 1986.
書籍[編輯]
福瑞德曼博士是以下書籍的作者:
- The Little Lisper ISBN 0-262-56038-0
- The Little Schemer ISBN 0-262-56099-2
- The Little MLer ISBN 0-262-56114-X
- A Little Java, A Few Patterns ISBN 0-262-56115-8
- The Seasoned Schemer ISBN 0-262-56100-X
- The Reasoned Schemer ISBN 0-262-56214-6
- The Little Prover（頁面存檔備份，存於互聯網檔案館） ISBN|0-262-52795-2
- Essentials of Programming Languages（頁面存檔備份，存於互聯網檔案館） ISBN 0-262-06217-8
- Scheme and the Art of Programming ISBN 0-262-19288-8
- Coordinated Computing: Tools and Techniques for Distributed Software ISBN 0-07-022439-0
外部連結[編輯]
- Daniel P. Friedman在印第安納大學的首頁（頁面存檔備份，存於互聯網檔案館）
- The Little Schemer's Homepage
- Cons should not evaluate its arguments, the technical report version（頁面存檔備份，存於互聯網檔案館）
- The Little Prover's Homepage
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||
