谓词转换器的相容性

摘要：

本文在Dijkstra的卫式语言的基础上,定义了一种特殊的语言,称为弱随机卫式语言,并讨论了该语言所决定的谓词转换器的相容性.

关键词： 谓词转换器 弱随机卫式语言 不确定算子

作者: 陈仪香 孙莉萍

作者单位: 上海师范大学数学科学学院(上海)

会议类型: 国内会议

会议名称: 2001年全国理论计算机科学学术会议

会议地点: 福州

会议语种:中文

页码: 182-184

在线出版日期: 2001-09-01（万方平台首次上网日期，不代表论文的发表时间）