丹尼尔·福瑞得曼

✍ dations ◷ 2024-12-23 10:49:50 #丹尼尔·福瑞得曼

丹尼尔·弗里德曼(英语: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”的源代码。

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

相关

  • 炼金术士炼金术是中世纪的一种化学哲学的思想和始祖,是当代化学的雏形。其目标是通过化学方法将一些基本金属转变为黄金,制造万灵药及制备长生不老药。现在的科学表明这种方法是行不通
  • 教父母教父母,或称谊父母、契爸妈、名义双亲,天主教称神亲或代父母,在基督教的洗礼仪式中为受洗者扮演作保的角色,男性为教父,女性为教母。婴儿或儿童受洗后,教父或教母会教导受洗者(即教
  • 代谢当量代谢当量商(Metabolic Equivalent of Task, MET)是一种进行生物活动时的一种生物学特性,可以用于计算从事某一类活动时的代谢水平。本条目中未有特别说明的,一律指人类活动。MET
  • 弥漫增生性肾小球肾炎弥漫增生性肾小球肾炎(Diffuse proliferative glomerulonephritis、DPGN)是一种肾小球肾炎(Glomerulonephritis)的类型、归为SLE之肾脏病变最严重的形式、也是最常见的,发生
  • 服务生侍应生简称侍应,亦有称服务生、服务员。古时有称跑堂、小二等;古时粤语俗称企堂,现时称为伙计,是负责在餐馆外场执行服务工作的工作者。服务生通常都会穿制服:现代酒楼、西餐厅的
  • 古兰塔文古兰塔文(英语:Grantha,泰米尔语:கிரந்த ௭ழுத்து )是公元6至19世纪南印度泰米尔语使用者所广泛使用之文字,是婆罗米文之子书写系统。
  • 南卡罗莱纳州州旗南卡罗莱纳州州旗在1861年1月28日正式采用。 亚拉巴马州 阿拉斯加州 亚利桑那州 阿肯色州 加利福尼亚州 科罗拉多州 康乃狄克州 特拉华州 佛罗里达州 佐治亚州 夏
  • 中国太古宇地层列表本列表列出了中国大陆地区的太古宇地层。依据太古宇地质体的分布,中国大陆地区可分为塔里木变质地区、华北变质地区、扬子变质地区、秦岭-大别-苏鲁变质地区与华南变质地区五个
  • 摩纳哥颂《摩纳哥颂》(法语:Hymne Monégasque)是摩纳哥的国歌,启用于1848年。摩纳哥颂最初创作于1841年,随后经历了若干修改。1848年摩纳哥亲王查尔斯三世成立国家卫队后,将此曲作为《忠
  • 夏尔·杜霍克斯·德·维奥默尼夏尔·约瑟夫·亚森特·杜·霍克斯,维奥梅尼勒侯爵(Charles-Joseph-Hyacinthe du Houx, baron de Vioménil,1734年8月22日-1827年3月5日),是十七至十八世纪间法国的陆军将领及贵