%0 Journal Article
%T 量子最弱自由前置条件的交换性及其性质
%A 雷红轩？
%A 席政军？
%A 李永明？
%J 软件学报
%P 933-941
%D 2013
%R 10.3724/SP.J.1001.2013.04354
%X 首先给出了量子最弱自由前置条件(weakestliberalprecondition,简称wlp)wlp(a,b,c)-可交换的定义,研究了wlp(a,b,c)-可交换的充分必要条件;其次,得到了wlp不是良好的谓词转换,验证了wlp是比量子最弱前置条件(weakestprecondition,简称wp)更弱的谓词转换,揭示了wlp和wp的本质区别;最后证明了wlp的序列合成、并行合成和块结构等性质.
%K 量子谓词
%K 超算子
%K 量子最弱自由前置条件
%K 交换
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=4354&flag=1