谓词转换器相关论文
本文对稳定模糊谓词与谓词转换器进行了研究。文章提出了一种新的模糊谓词----稳定模糊谓词，它是一个从相容交的dcpo D到[0，1]闭区间......
本文利用半拓扑空间的连续映射建立Dijkstra谓词转换器的拓扑语义.引入D-半拓扑空间概念,用以建立相容谓词转换器的语义,引入SM-半......
文中讨论了谓词转换器和状态转换器之间的对应关系，将谓词转换器作为命令的指称，刻画了IMP语言命令的指称语义，并证明与状态转换器形......
