算法分析引论：第2版

• 作者: 张志斌
• 来源期刊: 国外科技新书评介
• 学科: 工学
• 关键词: 算法分析 程序正确性证明 中国科学院 语言设计 研究人员 获得者 图灵奖 研究员
• 年，卷（期）: 2013,（5）
• 页码范围: 17-18
• 页数: 2页
• 分类号: TP301.6

摘要

2010年图灵奖获得者、当时的微软剑桥研究院首席研究员托尼霍尔爵士（TonyHoare）在与中国科学院相关研究人员座谈时曾提到：“在我看来，语言设计的目标应该是确保它能够使我们以简便的方法来写出那些正确的程序……评测一种语言，应当根据它最后写出来的程序的正确性来进行评估，这才是评测一个语言质量的科学准则。”霍尔爵士的主要贡献在于对程序正确性证明方面的研究。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张志斌	中国科学院计算技术研究所	82	365	9.0	19.0