PAR方法和循环不变式的范畴语义

PAR方法和循环不变式的范畴语义

屈文建 ^1,2,薛锦云 ^3,4

PAR method and loop invariants’ category theory semantic

QU Wen-jian ^1,2,XUE Jin-yun ^3,4

计算机工程与应用 . 2009, (8): 50 -54 . DOI: 10.3778/j.issn.1002-8331.2009.08.016