基于互补谓词的编译优化
胡定磊, 陈书明, 王凤芹, 刘春林
Optimizing Compiler Based on Complementary Predicate
HU Ding-lei, CHEN Shu-ming, WANG Feng-qin, LIU Chun-lin
电子学报 . 2006, (7): 1280 -1286 .