Dilakukan hanya pada suatu blok dari source co

Menggunakan hasil komputasi terdahulu daripada melakukan komputasi ulang

Dilakukan dengan analisis flow, yaitu suatu graph berarah yang menunjukkan jalur yang mungkin selama eksekusi program

Nilai konstanta atau ekspresi pada saat compile time diganti dengan nilai komputasinya