コンパイラ最適化の理論、契約プログラミングの方法論、プログラムの正しさを判定する形式手法など、いずれもプログラムの不変条件を重視している。
优化编译器理论、契约式设计设计方法论及形式方法，都十分依赖于计算机程序的不变条件。