Robin Milner 1934-2010

机译：Robin Milner 1934-2010

获取原文

页面导航

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

摘要

A special session of the symposium pays tribute to Robin Milner; the session features talks by Robert Harper (Carnegie Mellon University), John Harrison (Intel), and Alan Jeffrey (Bell Labs), and is organised by Andrew D. Gordon (Microsoft Research) and Peter Sewell (University of Cambridge).

机译：研讨会特别会议向罗宾米尔纳表示敬意;罗伯特·哈珀（卡内基梅隆大学），约翰哈里森（英特尔）和Alan Jeffrey（Bell Labs）的会议功能谈判，并由安德鲁D. Gordon（Microsoft Research）和彼得塞威尔（剑桥大学）组织。

著录项

来源
《Annual ACM SIGPLAN-SIGACT symposium on principles of programming languages》|2010年||共1页
会议地点
作者
Andrew D. Gordon; Robert Harper; John Harrison; Alan Jeffrey; Peter Sewell;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Robin Milner 1934--2010: verification, languages, and concurrency [J] . Gordon Andrew D., Harper Robert, Harrison John, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2011,第1期

机译：罗宾·米尔纳（Robin Milner）1934--2010年：验证，语言和并发
2. In Memoriam: Robin Milner and Amir Pnueli [J] . Nuseibeh Bashar Software Engineering, IEEE Transactions on . 2010,第3期

机译：纪念影片：罗宾·米尔纳（Robin Milner）和阿米尔·普努利（Amir Pnueli）
3. Robin Milner: 13 January 1934-20 March 2010 [J] . Gordon Plotkin, Colin Stirling, Mads Tofte Formal Aspects of Computing . 2010,第5期

机译：罗宾·米尔纳（Robin Milner）：1934年1月13日至2010年3月20日
4. Robin Milner 1934-2010 [C] . Andrew D. Gordon, Robert Harper, John Harrison, 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011 . 2011

机译：罗宾·米尔纳（Robin Milner）1934-2010
5. Guidelines for the development of Milner Gardens and Woodlands, Qualicum Beach, British Columbia: Historic conservation at work. [D] . Mitchell, Meredith. 2002

机译：不列颠哥伦比亚省Qualicum海滩的米尔纳花园和林地开发指南：正在开展的历史保护工作。
6. Correction to: Hypofractionated Radiotherapy Is Superior to Conventional Fractionation in an Orthotopic Model of Anaplastic Thyroid Cancer by Oweida A Phan A Vancourt B Robin T Hararah MK Bhatia S Milner D Lennon S Pike L Raben D Haugen B Pozdeyev N Schweppe R and Karam SD. Thyroid 2018;28:739–747. DOI: 10.1089/thy.2017.0706 [O] . -1

机译：校正至：在变性甲状腺癌的原位模型中超分割放射治疗优于常规分割作者：Oweida APhan AVancourt BRobin THararah MKBhatia SMilner DLennon SPike LRaben D Haugen BPozdeyev NSchweppe R和Karam SD。甲状腺2018; 28：739–747。 DOI：10.1089 / thy.2017.0706
7. Correction to: Hypofractionated Radiotherapy Is Superior to Conventional Fractionation in an Orthotopic Model of Anaplastic Thyroid Cancer, by Oweida A, Phan A, Vancourt B, Robin T, Hararah MK, Bhatia S, Milner D, Lennon S, Pike L, Raben D, Haugen B, Pozdeyev N, Schweppe R, and Karam SD. Thyroid 2018;28:739–747. DOI: 10.1089/thy.2017.0706 [O] . 2018

机译：校正：腐败的放射治疗优于常规模型中的常规分馏，在正交性甲状腺癌的原位模型中，通过oweida A，Phan A，Vancourt B，Robin T，Hararah Mk，Bhatia S，Milner D，Lennon S，Pike L，Raben D， Haugen B，Pozdeyev N，Schweppe R和Karam SD。甲状腺2018; 28：739-747。 DOI：10.1089 / Thy.2017.0706

Robin Milner 1934-2010

摘要

著录项

相似文献

相关主题

期刊订阅