首页> 外文会议>TAGA annual technical conference >2012 TAG A Michael H. Bruno Award to James C. King and John E. Warnock
【24h】

2012 TAG A Michael H. Bruno Award to James C. King and John E. Warnock

机译:2012年标记迈克尔H. Bruno奖James C. King和John E. Warnock

获取原文

摘要

As a young math student at Washington State University (WSU), Jim King wrote his first computer program in 1959. He went on to become one of the first people to obtain a Ph.D. with the field of study officially denoted "Computer Science." That was from Carnegie Mellon University (CMU) in 1969 and his thesis, under Professor Robert Floyd, was about formally proving the correctness of computer programs. This was one of the earliest theses on this subject and it became a highly referenced work.
机译:作为华盛顿州立大学(WSU)的年轻数学学生,Jim King于1959年写了他的第一台电脑程序。他继续成为第一个获得博士学位的人之一。与研究领域正式表示“计算机科学”。这是来自Carnegie Mellon University(CMU)于1969年,他的论文是罗伯特弗洛伊德教授,是正式证明了计算机程序的正确性。这是这个主题中最早的论文之一,它成为一个高度引用的工作。

著录项

相似文献

  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号