李未院士文集

内容概要

李未，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年代各国计算机计划看“八六三”智能机主题“九五’

调整

关于博士生的自我培养

论著目录

 李未院士文集下载