Presentation of the SIGPLAN Distinguished Achievement Award to Sir Charles Antony Richard Hoare, FRS, FREng, FBCS and Interview

机译：向Charles Charles Antony Richard Hoare爵士，FRS，FREng，FBCS和访谈对象颁发SIGPLAN杰出成就奖

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

Tony Hoare's long career in computing is studded with seminal engineering and scientific contributions to Programming Languages; his views on programming language design have been recognized as profound even by those who declined to follow his advice.

机译：Tony Hoare在计算机领域的漫长职业生涯充满了对编程语言的开创性工程和科学贡献。即使对于那些拒绝遵循他的建议的人，他对编程语言设计的观点也被认为是深刻的。

著录项

来源
《39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages.》|2012年|p.1|共1页
会议地点 Philadelphia PA(US);Philadelphia PA(US)
作者
Andrew P. Black; Peter W. OHearn;
展开▼
作者单位

Portland State University;

Queen Mary University of London;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类程序设计、软件工程;程序设计、软件工程;
关键词
verification; reliability; languages; theory; security;

机译：验证;可靠性;语言；理论;安全;

相似文献

外文文献

1. Presentation of the SIGPLAN distinguished achievement award to Sir Charles Antony Richard Hoare, FRS, FREng, FBCS; and interview [J] . Andrew P. Black, Peter W. OHearn ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2012,第1期

机译：向FRCS，FREng，FBCS的Charles Antony Richard Hoare爵士颁发SIGPLAN杰出成就奖;和面试
2. Message of thanks: on the receipt of the 2011 ACM SIGPLAN distinguished achievement award [J] . Tony Hoare ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2012,第1期

机译：感谢信：收到2011年ACM SIGPLAN杰出成就奖
3. Enthusiasm Abounds, Enthusiasm Surrounds: 2014 TVMA Distinguished Career Achievement Award: Charles R. Pipes, DVM, Diplomate ABVP [J] . Shelby ONeill Texas Veterinarian . 2014,第4期

机译：热情高涨，热情高涨：2014年TVMA杰出职业成就奖：Charles R. Pipes，DVM，外交事务ABVP
4. Presentation of the SIGPLAN Distinguished Achievement Award to Sir Charles Antony Richard Hoare, FRS, FREng, FBCS and Interview [C] . Andrew P. Black, Peter W. OHearn Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages . 2012

机译：介绍了Sigplan尊敬的成就奖，爵士查尔斯安托顿理查德·哈尔，FRS，Freng，FBCS和访谈
5. Presentation of the AGA Distinguished Achievement Award in Basic Science to Kim E. Barrett, PhD, AGAF [O] . Mark Donowitz, Stephen Keely 2021

机译：基础科学的AGA杰出成就奖颁发给金E. Barrett，博士，AGAF

Presentation of the SIGPLAN Distinguished Achievement Award to Sir Charles Antony Richard Hoare, FRS, FREng, FBCS and Interview

摘要

著录项

相似文献

相关主题

期刊订阅