Similar to 短絡評価
遅延評価
Lazy evaluation
先行評価
Eager evaluation
部分評価
Partial evaluation
SECDマシン
SECD machineクロージャ
Closure (computer programming)
継続渡しスタイル
Continuation-passing style
末尾再帰
Tail call
評価戦略
Evaluation strategy
式 (プログラミング)
Expression (computer science)
動的プログラミング言語
Dynamic programming language
コンパイラ最適化
インライン展開
Inline expansion
演算子強度低減
Strength reduction
共通部分式除去
Common subexpression elimination
コピーの省略
Copy elision
再実体化
Rematerialization
静的単一代入
Static single-assignment form
疎な条件分岐を考慮した定数伝播
Sparse conditional constant propagation
ソフトウェアパイプライン
Software pipelining
大域値番号付け
Global value numbering
定数畳み込み
Constant folding
データフロー解析
Data-flow analysis
デッドコード削除
Dead-code elimination
到達不能コード
Unreachable codeトレーススケジューリング
Trace scheduling
のぞき穴的最適化
Peephole optimization
ベクトル化
Image tracing
命令スケジューリング
Instruction scheduling
