最適化
オプティマイゼーション
（
optimization
）
正当性
(計算機科学)
プログラム意味論
表示的意味論
操作的意味論
公理的意味論
形式的検証
ホーア論理
Low Level Virtual Machine
(
LLVM
)
キャッシュ
コンパイラ最適化
シミュレーション
メモ化
ループ最適化
最悪実行時間
参照の局所性
制御フローグラフ
静的単一代入
プロファイリング
遅延評価
抽象解釈
投機的実行
待ち行列理論
クエリ最適化
可逆圧縮
部分最適化
全体最適化
ソリューション
最適化 (情報工学) - Wikipedia
なんとか化.icon