不确定程序相关论文
本文利用半拓扑空间的连续映射建立Dijkstra谓词转换器的拓扑语义.引入D-半拓扑空间概念,用以建立相容谓词转换器的语义,引入SM-半......
利用部分可加范畴理论及方法，我们证明了不确定程序部分正确性推理规则的合理性．更多还原......
