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