谓词转换器相关论文
本文在Dijkstra的卫式语言的基础上,定义了一种特殊的语言,称为弱随机卫式语言,并讨论了该语言所决定的谓词转换器的相容性.......
谓词转换器语义是使用程序验证技术来定义程序语言的一种方法.传统的谓词转换器语义是由Dijkstra通过最弱前置条件给出的,后来Koze......
该文旨在建立Dijkstra谓词转换器的稳定语义。一个基本慨念一Stable空间被引入，建立stable空间的超空间，表明Dijsktra谓词转换器可由......
随着计算机技术与网络技术的发展，人们将关注点从顺序计算转向并行计算与分布式计算.并行计算与分布式计算导致了程序的非确定性，而......
本文对稳定模糊谓词与谓词转换器进行了研究。文章提出了一种新的模糊谓词----稳定模糊谓词，它是一个从相容交的dcpo D到[0，1]闭区间......
本文利用半拓扑空间的连续映射建立Dijkstra谓词转换器的拓扑语义.引入D-半拓扑空间概念,用以建立相容谓词转换器的语义,引入SM-半......
文中讨论了谓词转换器和状态转换器之间的对应关系，将谓词转换器作为命令的指称，刻画了IMP语言命令的指称语义，并证明与状态转换器形......
