不确定程序的公理语义  

ON AXIOMATIC SEMANTICS SYSTEM OF NONDETERMINISTIC PROGRAMS

作　　者：陈国勋[1] 

机构地区：[1]郑州大学计算机科学系

出　　处：《郑州大学学报（自然科学版）》1994年第1期37-40,共4页Journal of Zhengzhou University (Natural Science)

基　　金：河南省自然科学基金资助项目

摘　　要：利用部分可加范畴理论及方法，我们证明了不确定程序部分正确性推理规则的合理性．Based on the theory and methods of the partially additive category, we will proofthe soundness of the deductive rules on partial correctness for nondeterministic Drogram.

关 键 词：不确定程序 公理语义 部分可加范畴 部分正确性 

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论]