首页> 外文会议>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年TAG A迈克尔·H·布鲁诺奖(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.
机译:吉姆·金(Jim King)是华盛顿州立大学(WSU)的一名年轻数学学生,于1959年编写了他的第一个计算机程序。他后来成为最早获得博士学位的人之一。研究领域正式称为“计算机科学”。那是1969年来自卡内基梅隆大学(CMU)的,他的论文是在罗伯特·弗洛伊德(Robert Floyd)教授的带领下,正式证明计算机程序的正确性。这是关于该主题的最早论文之一,成为备受参考的作品。

著录项

  • 来源
    《TAGA annual technical conference》|2012年|441-443|共3页
  • 会议地点
  • 作者

  • 作者单位
  • 会议组织
  • 原文格式 PDF
  • 正文语种
  • 中图分类
  • 关键词

  • 入库时间 2022-08-26 15:11:58

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号