论文部分内容阅读
随着并行计算，分布式计算的使用和研究的发展，程序的不确定性在计算机科学技术中越来越显得重要，并得到了人们的重视.该文试图用Dijkstra的谓词转换器来研究程序的不确定性.该文的研究分成两部分，第一部分基于Dijkstra的随机卫式语言引入了称为弱随机卫式语言诉一种具有不确定性的程序设计语言，表明用该语言写成的程序的谓词转换器是相容的.第二部分讨论的程序状态域（输入域与输出域）为dI-论域上的谓词转换器相容性，表明每个相容谓词转换器函数都是由确定程序产生的.