基于扩展逻辑变换系统μTS证明循环优化正确性

Keywords: [循环优化, 可信编译, 扩展逻辑变换系统, 循环变换, 辅助证明算法, loop optimization, trustworthy compiling, extended logic transformation system, loop transformation, aided certified algorithm]

Full-Text   Cite this paper   Add to My Lib

Abstract:

循环优化对于提高Cache性能、发掘程序的并行性以及减少执行..

Full-Text