The cla ic compiler optimizatio, such as dead co de elimination, co tant folding, co tant propagation, elimination of partial redundancies, loop unrolling, etc. , are static analyses.
典型的编译器最优化，如死代码消除、常数合并、常数传送、部分冗余的消除、循环展开等等，是静态分析。
Floating point representation, Gaussian elimination with partial pivoting, scaling of computations with matrix size, banded and tri-diagonal systems, LU decomposition.
浮点数表示法，含部份换轴之高斯消去法，使用矩阵大小之计算尺度调整，带状及三角对角系统，LU分解。
应用推荐