可在www.sciencedirect.com在线获取理论计算机科学电子笔记298(2013)3-5www.elsevier.com/locate/entcs奉献约翰角雷诺兹1935年6月1日我们把第二十九届编程语义数学基础会议的论文集献给J OHNC。雷诺兹。约翰是MFPS及其所代表的社区的坚定支持者。他的同事们将怀念他严谨的治学态度、慷慨的指导和鼓舞人心的领导能力。主办方1571-0661/$http://dx.doi.org/10.1016/j.entcs.2013.09.0044奉献John C. 雷诺约翰·雷诺兹于2013年4月28日去世,享年77岁。约翰是国际知名的他的研究语义,规范语言,编程语言设计,并证明技术的推理程序。约翰出生于1935年6月1日,在伊利诺伊州芝加哥郊区的格伦埃林长大。他毕业于普渡大学(1956年),并随后获得博士学位。在哈佛大学的理论物理学(1961)。正如约翰所描述的那样,他的论文涉及到一个这是约翰典型的谦虚和谦卑的一个例子哈佛毕业后,约翰开始在阿贡国家实验室应用数学部担任物理学家,同时越来越多地参与计算机科学。他最早的开发之一是编译器的编译器,称为COGENT。1970年,他在锡拉丘兹大学担任计算机和信息科学教授。他于1986年搬到卡内基梅隆大学,在那里他任教并进行研究,直到2012年底退休。 他还在许多机构享受休假和访问职位,包括斯坦福大学、INRIA(罗昆古和索菲娅·安提波利斯)、帝国理工学院(伦敦大学)、朗讯科技、玛丽皇后学院(伦敦大学)、爱丁堡大学、奥胡斯大学和微软研究院(英国剑桥)。John是计算机协会(ACM)的长期活跃成员编程方法论(1969年)和IFIP工作组2.2正式语言定义(1977-1991年)。他曾是ACM Communications和Journal of the ACM的编辑,2001年成为ACM Fellow,并于2003年获得ACMSIGPLAN编程语言成就奖。2011年,他获得了英国计算机协会的Lovelace奖章他被授予荣誉博士学位.2007年7月获伦敦大学玛丽皇后学院理学硕士学位。2006年4月,卡内基梅隆大学授予他达纳·斯科特杰出研究他是世界各地许多国际会议和研讨会的特邀发言人约翰• 他关于定义解释器的经典论文探讨了直接风格和延续风格语义之间的关系;• 他和Jean-Yves Girard独立地发现了多态lambda-演算,而John制定了参数性的基本性质• 他发明了编程语言Gedanken和Forsythe;• 他是将范畴理论的思想应用于开发类Algol语言语义模型的先驱;奉献5• 他和Peter约翰的论文是优雅的典范,充满了智慧和机智。他的教科书《程序设计的技巧》(Prentice-Hall,1981)和《程序设计语言的理论》(剑桥大学出版社,1998)具有很高的参考价值。约翰是MFPS社区的中流砥柱,经常说MFPS是他最喜欢的会议。我们感谢约翰和他的妻子玛丽的盛情款待,在他们的家中举办了一个会议招待会,并感谢多年来许多MFPS发言人的接待。他的MFPS文件和演示文稿,许多作为一个受邀演讲者,oquier一个横截面,他一生• 《干扰的句法控制,第二》(1989年)• Types是什么意思(1990年)• 类型,抽象和参数多态性,第2部分(1991年)• 无源性和线性类型(1995)• 类型,抽象和参数多态性• 分离逻辑的精确、直观和支持断言(2005)• 无临界区域的无颗粒语义学(2007)• 静态变量的自动计算(2011)我们都受益于约翰约翰的作品有一种特殊的品质,可以概括为天生的怀疑主义。约翰决心把事情做好,他不仅要把事情做好,而且要用正确的方式把事情做好。他觉得,如果你真的清楚一个问题,就会有一个最好的解决方案。他经常成功地得出这样一个令人信服的结论。我们会怀念约翰我们将记住他的一流的科学智慧和不妥协的诚信;他的工作的质量和意义;以及他的善良,耐心和对学生和同事的关心。我们可以带着感激之情回顾我们从他身上学到的许多东西斯蒂芬·布鲁克斯本杰明·皮尔斯戈登·普洛特金达纳·斯科特