目 录
自述
科研论著
第一部分 程序理论
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年代各国计算机计划看“八六三”智能机主题“九五’
调整
关于博士生的自我培养
论著目录
· · · · · · (
收起)