《程序员》2003合订本07.pdf

名 人 堂 自学成才的编程先驱： Robert W. Floyd 早时的程序编写被认为是不务正业，那时的程序帮不了工作什么忙，”计算机程序与艺术协会名誉教授Donald “ Knuth回忆说，“是计算机工程师Robert W. Floyd证明了程序完全可以代替人工，是他改变了人们对程序的看法。 他最早总结出来的数学联姻计算机科学的言论是一种行业性革命”。 Floyd于1936年6月8日出生在纽约，他曾在6岁的时候被人视为天才儿童，后连升3级结束高中课程。在取得14A 奖学金后他被允许进入芝加哥大学学习。1953年，17岁的Floyd在芝大得到文学艺术学士学位，后于1958年他拿到 双学士学位。 “他奉献给计算事业的一生是努力自学的一生”，他的第二位太太，德国汉堡大学的计算机科学家Christiane Floyd回忆说，“他利用夜间轮流值班的时间开始自学编程的，他通过阅读1960年代出版的程序书籍来学习如何编 程。当他在卡内基·梅隆大学当上副教授进入计算学术界时年方27岁。他取得斯坦福大学全职教授之职时，年纪 也不过32岁。” 虽然Floyd没有享受到博士学位带来的荣耀，但于1968年被任命为斯坦福计算机科学系副教授之前，他已经撰 写了一组至少12篇，被视为比当时的博士论文更出色的计算机科学论文集。计算机编程语言是当时计算机科学中 一个最热门的话题。“但关于这个话题的论文只有4篇论文，他们全部出自Floyd之手”。 Floyd的研究方向包括以寻求网络最短路径的运算法则的设计和分析、浮点运算、点阵打印机的灰度打印阴 影、信息索引和随机交换与聚合的筛选等。其中，Floyd的最重要的科学成就是开创了程序检验的系统方法论。 1967年，他的启蒙性论文Assigning Meaning to Programs开创了程序检验新方法。他的基本想法是在逻辑分置表中 附加所谓的“标记”，以此来区别程序描述或分支，以定义基于常用程序语言的定义程序效果。世界范围内众多 的计算方法研究人员采纳了他的观点。 同时，Floyd还是代码重构——基本理念是重新改写程序，只保留程序基本概念——的第一位倡导者。重构是 目前计算机编程中的基本操作。在持续探索事半功倍的努力中，Floyd不仅致力于改善和优化程序，同时还寻求提 高程序员的开发能力和理解力。 在斯坦福大学，他教授涵盖“索引和有哪些信誉好的足球投注网站”的运算法则课程，Floyd还和他以前的学生Richard 一起合力 Beigel 编撰了教材——《机器语言：可计算性和正式语言》（计算机科学出版社：1994）。自1973年至1975年，Floyd担 任斯坦福大学计算机科学系主任，这是计算机科学系高速成长为斯坦福重点学科的时期。 1978年，“因为创建了有效和可信赖软件方法论，这大大方便了建立计算机科学的重要子域：剖析理论、编 程语言语义学、自动程序检验、自动程序集成和算法分析”，Floyd获得了ACM颁发的图灵奖。1991年，因为早期 编译器的研制工作，IEEE计算机协会授予Floyd计算机先驱奖。1994年Floyd从斯坦福大学退休时，他已经是美国科 学与艺术学会会员。 1997年9月25日，Floyd在斯坦福大学医疗中心病逝，享年65岁。 Programmer 2003.07 3 未命名-5 3 2003-11-16, 11:06 ROGRAMMER