丹尼尔·福瑞得曼

✍ dations ◷ 2025-07-19 07:33:29 #丹尼尔·福瑞得曼

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

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

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

弗里德曼博士是位多产的教科书作者。他的第一本著作《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年代出版,改变了程序语言领域的面貌,将重点从盘点各种程序语言转为通过解释器来研究程序语言的原则。今天这个领域的其他教科书都遵循此方向,只是用实现语意和类型理论代替了解释器。 和 《》一样, 《》长盛不衰,目前已为第三版。

最近,弗里德曼博士和Byrd、Kiselyov一起撰写《The Reasoned Schemer》,通过Scheme 语言的一个扩展来解释逻辑编程。

2015年,弗里德曼博士和Carl Eastlund出版了《The Little Prover》,并公开辅助证明程序“J-Bob”的源代码。

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

相关

  • MIMMIM或M.I.M.可能指:
  • 对Windows Vista的批评新增的功能 移除的功能 版本 开发历史 批评Windows Vista为微软于2006年11月所公布的一套操作系统,并于2007年1月30日正式发售。尽管微软在美国纽约等地举行了多场的宣传活动
  • 舍雷尔伍德 (科罗拉多州)舍雷尔伍德(英语:Sherrelwood)是位于美国科罗拉多州亚当斯县的一个人口普查指定地区。舍雷尔伍德的座标为39°50′27″N 105°00′06″W / 39.84083°N 105.00167°W / 39.8408
  • 克尔-纽曼度规克尔-纽曼度规(Kerr-Newman metric),简称K-N度规,是描述匀角速度旋转的带点电荷球体的引力场的度规,其数学表示是:座标(r, θ, ϕ)是球座标系,Q是电荷,且:在这里 表示黑洞的角动量,
  • 天真与经验之歌天真与经验之歌(英语:Songs of Innocence and of Experience)是英国作家威廉·布莱克所著的一本版画诗集。1789年,威廉·布莱克自己绘图自己印刷出版了第一版。五年后,他增添了一
  • 钱赞企钱赞企(1988年8月24日-)是星际争霸2的职业选手,人称NO总,外号:蟑螂。
  • 黑衣人2《黑衣人2》(英语:Men in Black II,缩写MIIB)是一部于2002年上映的美国科幻喜剧电影,为1997年《黑衣人》的续集,改编自洛厄尔·坎宁安(Lowell Cunningham)的同名漫画作品。由汤米·
  • 凯利·约曼斯的自杀凯利·约曼斯(Kelly Yeomans,1984年-1997年9月28日),是英国德比市郊艾伦顿的一名13岁女生,因受同伴霸凌服用过量止痛药自杀。凯利·约曼斯的自杀曾一度成为广为传播的新闻并使儿童
  • 宾加山宾加山(葡萄牙语:Monte Binga)是东非国家莫桑比克的山峰,位于该国西部马尼卡省,毗邻与津巴布韦接壤的边界,该山峰的岩石是前寒武纪形成的石英岩,海拔高度2,436米,是该国最高点。
  • 克内尔峰坐标:75°1′S 133°44′W / 75.017°S 133.733°W / -75.017; -133.733克内尔峰(英语:Kennel Peak)是南极洲的山峰,位于玛丽伯德地,处于罗克尼岭以北1公里,属于德马斯山脉的一部分