跳转到内容

丹尼尔·福瑞得曼

本页使用了标题或全文手工转换
维基百科,自由的百科全书
丹尼尔·弗里德曼博士
知名于程序语言
科学生涯
研究领域电脑科学

丹尼尔·弗里德曼(英语:Daniel Paul Friedman,生于1944年),在美国印第安纳大学伯明顿分校担任电脑科学教授,专攻程序语言研究领域,为该领域的权威。

1976年他和David Wise合作发表了影响深远的论文《Cons should not evaluate its arguments》 [1]

在接下来的八十年代,他转而研究Scheme语言,探讨了用来定义程序语言。他和其他几位作者合作发表了被至今仍广泛引用的论文,引入了干净宏(Hygienic macro)的概念[2]。和Haynes以及Wand, 他同时研究了续体对象的本质、使用及约束可能性。[3] 随后,他和Felleisen英语Matthias Felleisenλ演算引入了续体以当前续体调用英语call-with-current-continuation[4] 他们的工作催生了在经典逻辑和计算以及续体的实际扩展之间的语意和联络方面的研究。

弗里德曼博士是位多产的教科书作者。他的第一本著作《The Little Lisper》写于1974年,时至今日再版第四版了,书更名为《The Little Schemer》。在1990年代,他和Felleisen英语Matthias Felleisen撰写发布了另外三本little系列丛书,《The Little MLer》, 《The Seasoned Schemer》, 和《A Little Java, A Few Patterns》。

弗里德曼博士是《Essentials of Programming Languages英语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”的原始码。

参考

[编辑]
  1. ^ Friedman, Daniel P. Cons should not evaluate its arguments. ICALP. 1976. 
  2. ^ Friedman, Daniel P. Hygienic Macros. ACM Lisp and Functional Programming. 1986. 
  3. ^ Friedman, Daniel P. Constraining Control. ACM Principles of Programming Languages. 1984. 
  4. ^ Friedman, Daniel P. Reasoning with Continuations l. IEEE Logic in Computer Science. 1986. 

书籍

[编辑]

福瑞德曼博士是以下书籍的作者:

外部链接

[编辑]