李未院士文集

李未，1943年 6月出生。1966年毕 业于北京大学， 1983年获英国爱丁 堡大学计算机科学 博士学位。现为北 京航空航天大学计 算机系教授、软件 开发环境国家重点 实验室主任、中国 科学院院士、国务 院学位委员会委 员。李未在实用并 发语言语义、并发 语言的翻译理论等 方面取得了开创性 研究成果。曾获国 家自然科学二等 奖、何梁何利科技 进步奖等多项奖励。

目 录 自述 科研论著 第一部分 程序理论 An Operational Semantics of Multitasking and Exception Handling in Ada A Syntax-Directed Approach for implementing the Rendez- vous Mechanism in Ada A Structural Operational Semantics for an Edison-like Langu- age (!) A Structural Operational Semantics for an Edison-like Langu- age (2) An Operational Translation Theory 第二部分 开放逻辑及其应用（英文） An Open Logic System A Logical Framework for Evolution of Specifications The Inductive Process: A Logical Framework for In- ductive Inference 第三部分 中文学术论文 关于离散型试验的最优设计 一个开放的逻辑系统 归纳推理和归纳进程 形式化方法的局限性 第四部分 其他 对智能机基础研究的几点看法 从80年代各国计算机计划看“八六三”智能机主题“九五’ 调整 关于博士生的自我培养 论著目录