%0 Journal Article
%T 基于扩展逻辑变换系统μTS证明循环优化正确性
%A 王昌晶
%J -
%D 2012
%X 循环优化对于提高Cache性能、发掘程序的并行性以及减少执行..
%K [循环优化
%K 可信编译
%K 扩展逻辑变换系统
%K 循环变换
%K 辅助证明算法
%K loop optimization
%K trustworthy compiling
%K extended logic transformation system
%K loop transformation
%K aided certified algorithm]
%U http://crad.ict.ac.cn/CN/Y2012/V49/I9/1863